Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. unfold_abs_def is enabled by default;
Changeset 63822:c575a3814a76 by wenzelm:
merged
Changeset 63821:52235c27538c by wenzelm:
unfold_abs_def is enabled by default;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Generic.thy (diff)
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)
The file was modified src/Pure/Isar/local_defs.ML (diff)