merge from afp-2020
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP9449ae539c8a: adapted to Isabelle2020-RC5
rAFP9a2a0d63ca30: fixed a frac_le proof - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- a0d561998f20 closed branchAuthor
- ad14484777fc merged