Summary
- some export of foundational theory content;
- support for general theory presentation;
The file was added | src/Pure/Thy/export_theory.ML |
The file was modified | etc/options (diff) |
The file was modified | src/Pure/ROOT.ML (diff) |
The file was modified | src/Pure/Thy/thy_info.ML (diff) |