no printing of axioms -- too bulky;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE98d9b78b7f47: clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for…
- Branches
- Unknown
- Tags
no printing of axioms -- too bulky; Tags None Subscribers None
Description
Details
|