Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. strengthened and renamed lemma reflp_on_equality
  3. renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
  4. Added an example for Isabelle/CTT
Changeset 76523:41c92fcb8805 by desharna:
merged
Changeset 76522:3fc92362fbb5 by desharna:
strengthened and renamed lemma reflp_on_equality
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76521:15f868460de9 by desharna:
renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 76520:4d6d8dfd2cd2 by paulson _lp15@cam.ac.uk_:
Added an example for Isabelle/CTT
The file was modified src/CTT/ex/Elimination.thy (diff)