merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf07761ee5a7f: more robust Variable.revert_bounds (see also b12f2cef3ee5);
rISABELLE67d87d224e00: A few new lemmas plus some refinements - Branches
- Unknown
- Tags
Merged Changes
Merged Changes