Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. proper sort constraints for strip_shyps, for sort relations used in minimization;
  3. merged
  4. a few new lemmas
  5. tuned;
Changeset 71455:35b2d407e558 by wenzelm:
merged
Changeset 71454:b2c9f94e025f by wenzelm:
proper sort constraints for strip_shyps, for sort relations used in minimization;
The file was modified src/Pure/sorts.ML (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 71453:7b8a6840e85f by paulson:
merged
Changeset 71452:9edb7fb69bc2 by paulson _lp15@cam.ac.uk_:
a few new lemmas
The file was modified src/HOL/Library/Ramsey.thy (diff)
The file was modified src/HOL/Num.thy (diff)
Changeset 71451:fb08117a106b by wenzelm:
tuned;
The file was modified src/Pure/thm.ML (diff)