Summary
- Tracing of locale activation.
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Spec.thy (diff) |
The file was modified | src/Pure/Isar/locale.ML (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Spec.thy (diff) |
The file was modified | src/Pure/Isar/locale.ML (diff) |