merged
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLEa28ee8058ea3: use tree (simpler) instead of rbt (exercise)
rISABELLE4563db765eb2: enforce rebuild of Isabelle/ML; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 4563db765eb2 enforce rebuild of Isabelle/ML;Author
- 9ed8b85e7d67 more direct state update;Author
- a4266d54ec35 tuned output;Author
- 50fc9143ccfa more database content;Author
- a65b39fdf8b6 tuned whitespace;Author
- f7208db921c2 tuned signature;Author
- 89fffc5f5728 tuned whitespace;Author
- 979baa91da0f clarified modules;Author
- 25b7914f488c tuned output;Author
- 25993910f212 tuned signature;Author