Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned proofs of Equiv_Relations.equiv
  2. merged
  3. proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
  4. proper "isabelle go_setup" for Jenkins;
  5. added lemma wfp_on_image and author name to theory
Changeset 80771:c40bdfc84640 by desharna:
tuned proofs of Equiv_Relations.equiv
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Sylow.thy (diff)
The file was modified src/HOL/Cardinals/Wellorder_Constructions.thy (diff)
The file was modified src/HOL/Induct/QuoDataType.thy (diff)
The file was modified src/HOL/Induct/QuoNestedDataType.thy (diff)
The file was modified src/HOL/Library/Disjoint_Sets.thy (diff)
The file was modified src/HOL/ZF/Games.thy (diff)
Changeset 80770:19cc354ba625 by desharna:
merged
Changeset 80769:308ccc1ef982 by wenzelm:
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 80768:da323d3d7570 by wenzelm:
proper "isabelle go_setup" for Jenkins;
The file was modified Admin/jenkins/run_build (diff)
Changeset 80743:38803a6b3357 by desharna:
added lemma wfp_on_image and author name to theory
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)