Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

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