removed unused material (left-over from fd0c85d7da38);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEd97c48dc87fa: support HOL-Isar_Examples.Hoare as well (amending 403ce50e6a2a);
- Branches
- Unknown
- Tags
removed unused material (left-over from fd0c85d7da38); Tags None Subscribers None |