Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
  3. added lemma totalp_on_converse[simp]
  4. added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
  5. added type annotations and tuned formatting
  6. strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
Changeset 76575:66addfbb0923 by desharna:
merged
Changeset 76574:7bc934b99faf by desharna:
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
The file was modified NEWS
The file was modified src/HOL/Relation.thy
Changeset 76573:cbf38b7cb195 by desharna:
added lemma totalp_on_converse[simp]
The file was modified NEWS
The file was modified src/HOL/Relation.thy
Changeset 76572:d8542bc5a3fa by desharna:
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
The file was modified NEWS
The file was modified src/HOL/Relation.thy
Changeset 76571:5a13f1519f5d by desharna:
added type annotations and tuned formatting
The file was modified NEWS
The file was modified src/HOL/Relation.thy
Changeset 76570:608489919ecf by desharna:
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
The file was modified NEWS
The file was modified src/HOL/Library/Multiset.thy
The file was modified src/HOL/Relation.thy