merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE6ca9e8377613: proper names for multiple installations;
rISABELLE9858f391ed2d: merged - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 9d2753406c60 removed redundant lemmaAuthor
- bd3d4702b4f2 add lemmasAuthor
- 6fe5a0e1fa8e moved theory Interval from the AFPAuthor