clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for export of HOL-ex.Join_Theory;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE539dfd4c166b: more conservative type names, e.g. relevant for Isabelle/MMT export;
- Branches
- Unknown
- Tags