Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more symbols -- as in the printed document;
  3. more symbols;
Changeset 63903:8c9dc05fc055 by wenzelm:
merged
Changeset 63902:f83ef97d8d7d by wenzelm:
more symbols -- as in the printed document;
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 63901:4ce989e962e0 by wenzelm:
more symbols;
The file was modified src/FOL/IFOL.thy (diff)
The file was modified src/HOL/Algebra/UnivPoly.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Matrix_LP/ComputeFloat.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/NSA.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/NSCA.thy (diff)
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
The file was modified src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy (diff)
The file was modified src/HOL/ZF/HOLZF.thy (diff)
The file was modified src/HOL/ex/Refute_Examples.thy (diff)
The file was modified src/ZF/Epsilon.thy (diff)
The file was modified src/ZF/Order.thy (diff)
The file was modified src/ZF/Perm.thy (diff)
The file was modified src/ZF/ZF.thy (diff)
The file was modified src/ZF/func.thy (diff)
The file was modified src/ZF/upair.thy (diff)