Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinued old 'def' command;
Changeset 67119:acb0807ddb56 by wenzelm:
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)