Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. added missing lemmas
  3. fixed floor proof
  4. fixed floor proofs
  5. added min_height
  6. tuned floor lemmas
  7. more lemmas
Changeset 63602:7725bba95ada by nipkow:
merged
Changeset 63601:ae810a755cd2 by nipkow:
added missing lemmas
The file was modified src/HOL/Real.thy (diff)
Changeset 63600:d0fa16751d14 by nipkow:
fixed floor proof
The file was modified src/HOL/Decision_Procs/MIR.thy (diff)
Changeset 63599:f560147710fb by nipkow:
fixed floor proofs
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/Library/Float.thy (diff)
Changeset 63598:025d6e52d86f by nipkow:
added min_height
The file was modified src/HOL/Library/Tree.thy (diff)
Changeset 63597:bef0277ec73b by nipkow:
tuned floor lemmas
The file was modified src/HOL/Archimedean_Field.thy (diff)
The file was modified src/HOL/Real.thy (diff)
Changeset 63596:24d329f666c5 by nipkow:
more lemmas
The file was modified src/HOL/Library/Float.thy (diff)