merged
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLEc71a44893645: eliminated one redundant proof obligation in lift_bnf for quotients
rISABELLE475b2260b9c4: removed experimental option to SPASS - Branches
- Unknown
- Tags
Merged Changes
Merged Changes