merged;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3d805ab66a2f: Added tag Isabelle2021-RC5 for changeset a88dbf2a020f
rISABELLEb1aa641eee4c: added lemmas - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- b1aa641eee4c added lemmasAuthor
- bfa9f646f5ae optimize RBT_ImplAuthor
- ce90865dbaeb Simpler proofAuthor
- 0398f18ec76c proper hostname;Author
- 68f0bd0c8e87 more informative error;Author
- be9b73dfd3e0 added lemmasAuthor