Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. ported Design-Theory from AFP 2021 to devel
  2. ported Three-Circles from AFP 2021 to devel
Changeset 12027:61b65f5bfdbe by rene thiemann _rene.thiemann@uibk.ac.at_:
ported Design-Theory from AFP 2021 to devel
The file was modified thys/Design_Theory/Block_Designs.thy
The file was modified thys/Design_Theory/Design_Isomorphisms.thy
The file was modified thys/Design_Theory/Designs_And_Graphs.thy
The file was modified thys/Design_Theory/Multisets_Extras.thy
Changeset 12026:d724a03eef28 by rene thiemann _rene.thiemann@uibk.ac.at_:
ported Three-Circles from AFP 2021 to devel
The file was modified thys/Three_Circles/Normal_Poly.thy
The file was modified thys/Three_Circles/RRI_Misc.thy