Summary
- export semi-unfolded locale axioms;
- tuned;
- clarified signature;
- tuned signature;
The file was modified | src/Pure/Thy/export_theory.ML (diff) |
The file was modified | src/Pure/Thy/export_theory.scala (diff) |
The file was modified | src/Doc/Isar_Ref/Spec.thy (diff) |
The file was modified | src/HOL/Statespace/state_space.ML (diff) |
The file was modified | src/Pure/Isar/class.ML (diff) |
The file was modified | src/Pure/Isar/locale.ML (diff) |
The file was modified | src/Pure/Isar/locale.ML (diff) |