Summary
- discontinued old 'def' command;
The file was modified | NEWS (diff) |
The file was modified | src/Doc/Isar_Ref/Proof.thy (diff) |
The file was modified | src/FOL/ex/Locale_Test/Locale_Test1.thy (diff) |
The file was modified | src/Pure/Isar/proof.ML (diff) |
The file was modified | src/Pure/Pure.thy (diff) |