Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. simple new lemmas, mostly about sets
Changeset 63880:729accd056ad by paulson _lp15@cam.ac.uk_:
Merge
Changeset 63879:15bbf6360339 by paulson _lp15@cam.ac.uk_:
simple new lemmas, mostly about sets
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)