support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7ea253f93606: more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
- Branches
- Unknown
- Tags