Summary
- merged
- clarified parent session images, to avoid duplicate loading of theories;
- tuned;
- removed pointless document;
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was removed | src/HOL/ex/document/root.bib |
The file was removed | src/HOL/ex/document/root.tex |