Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. recovered proofs;
Changeset 10666:02b9d0561118 by wenzelm:
recovered proofs;
The file was modified thys/Girth_Chromatic/Girth_Chromatic.thy