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 irrefl_on_subset and irreflp_on_subset
  3. introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
Changeset 76561:595261b3d033 by desharna:
merged
Changeset 76560:df6ba3cf7874 by desharna:
added lemmas irrefl_on_subset and irreflp_on_subset
The file was modified NEWS
The file was modified src/HOL/Relation.thy
Changeset 76559:4352d0ff165a by desharna:
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
The file was modified NEWS
The file was modified src/HOL/Relation.thy
The file was modified src/HOL/Wellfounded.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. fixed Containers following introduction of irrefl_on
Changeset 13184:ab056942c0bc by desharna:
fixed Containers following introduction of irrefl_on
The file was modified thys/Containers/Set_Impl.thy