more conservative type names, e.g. relevant for Isabelle/MMT export;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE05810acd4858: clarified types (again): 'a is canonical for 'class' (as alternative to…
- Branches
- Unknown
- Tags