Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. centralized more lemmas
  2. avoid Fun.swap
  3. guide is out of focus
Changeset 73664:6e26d06b24b1 by haftmann:
centralized more lemmas
The file was modified src/HOL/Combinatorics/Transposition.thy
Changeset 73663:7734c442802f by haftmann:
avoid Fun.swap
The file was modified src/HOL/Combinatorics/Cycles.thy
The file was modified src/HOL/Combinatorics/Permutations.thy
Changeset 73662:fecfb96474ca by haftmann:
guide is out of focus
The file was modified src/HOL/ROOT
The file was removedsrc/HOL/Combinatorics/Guide.thy

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

Summary

  1. centralized more lemmas
  2. avoid Fun.swap
  3. guide is out of focus
Changeset 11776:0ace227c4d10 by haftmann:
centralized more lemmas
The file was modified thys/Graph_Theory/Auxiliary.thy
The file was modified thys/Planarity_Certificates/Planarity/Permutations_2.thy
Changeset 11775:aac14245270a by haftmann:
avoid Fun.swap
Changeset 11774:3945ab3f00b8 by haftmann:
guide is out of focus