HomePhabricator

clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for…

Authored by makarius.

Description

clarified axiom_table: uniform space (e.g. like consts), e.g. relevant for export of HOL-ex.Join_Theory;

Details

Committed
makariusOct 22 2019, 8:55 PM
Parents
rISABELLE539dfd4c166b: more conservative type names, e.g. relevant for Isabelle/MMT export;
Branches
Unknown
Tags
Unknown