#1040 (Oct 23, 2019, 12:50:10 AM)

1. no printing of axioms -- too bulky; (detail / hgweb)
2. clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for export of HOL-ex.Join_Theory; (detail / hgweb)
3. more conservative type names, e.g. relevant for Isabelle/MMT export; (detail / hgweb)
4. clarified types (again): 'a is canonical for 'class' (as alternative to 'locale'), 'b is common for Hindley-Milner examples; (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.