tuned declarations for more compact proof terms;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE45a1fcee14a0: prefer named facts;
- Branches
- Unknown
- Tags
tuned declarations for more compact proof terms; Tags None Subscribers None |