Summary
- merged
- removed obsolete RC tags;
- merged
- Added tag Isabelle2016 for changeset d3996d5873dd
- proper syntax;
The file was modified | .hgtags (diff) |
The file was modified | .hgtags (diff) |
The file was modified | src/Doc/Isar_Ref/Quick_Reference.thy (diff) |