produced Mirabelle output directly in ML until Scala output gets fixed
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEd97c48dc87fa: support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a);
- Branches
- Unknown
- Tags