Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more structured proofs
  2. fixed some theory presentation issues (?)
  3. recover informal "&" from 0c18df79b1c8;
Changeset 76221:1f2e78b7df93 by paulson _lp15@cam.ac.uk_:
more structured proofs
The file was modified src/ZF/Constructible/Normal.thy (diff)
Changeset 76220:cf8f85e2a807 by paulson _lp15@cam.ac.uk_:
fixed some theory presentation issues (?)
The file was modified src/ZF/AC/HH.thy (diff)
The file was modified src/ZF/Constructible/AC_in_L.thy (diff)
The file was modified src/ZF/Constructible/DPow_absolute.thy (diff)
Changeset 76219:cf7db6353322 by wenzelm:
recover informal "&" from 0c18df79b1c8;
The file was modified src/ZF/AC/AC15_WO6.thy (diff)
The file was modified src/ZF/AC/AC17_AC1.thy (diff)
The file was modified src/ZF/AC/AC7_AC9.thy (diff)
The file was modified src/ZF/AC/WO1_WO7.thy (diff)
The file was modified src/ZF/AC/WO2_AC16.thy (diff)
The file was modified src/ZF/AC/WO6_WO1.thy (diff)
The file was modified src/ZF/Induct/PropLog.thy (diff)
The file was modified src/ZF/ex/Commutation.thy (diff)
The file was modified src/ZF/ex/NatSum.thy (diff)