merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEe2ad50885887: added "isabelle sessions" tool;
rISABELLE884c6c0bc99a: use abs(h l - h r) instead of 3 cases, tuned proofs - Branches
- Unknown
- Tags
Merged Changes
Merged Changes