Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. adjusted doc
  2. redefined Greatest
Changeset 65964:3de7464450b0 by nipkow:
adjusted doc
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 65963:ca1e636fa716 by nipkow:
redefined Greatest
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Orderings.thy (diff)