support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEce8152fb021b: removed junk;
- Branches
- Unknown
- Tags
support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a); Tags None Subscribers None |