HomeIsabelle/Phabricator

more robust treatment of thm_names, with strict check after all theories are…

Description

more robust treatment of thm_names, with strict check after all theories are loaded;

Details

Provenance
makariusAuthored on
Parents
rISABELLE496cfe488d72: a few more lemmas
Branches
Unknown
Tags
Unknown