...
Please refer to the GitHub ddi-flavour documentation for details on how to run Sledgehammer and ddiDDI-flavour. Further details can be found on the wiki page Use DDI-Flavour.
...
Please refer to the GitHub ddi-flavour documentation for details on how to run Sledgehammer and ddiDDI-flavour. Further details can be found on the wiki page Use DDI-Flavour.