HomeIsabelle/Phabricator

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

Description

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

Details