more robust adhoc shell script: work with Isabelle_System.export_isabelle_identifier;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEe7497a1de8b9: more concise instance-specific rules on euclidean relation
- Branches
- Unknown
- Tags