Summary
- tuned proofs of Equiv_Relations.equiv
- merged
- proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
- proper "isabelle go_setup" for Jenkins;
- added lemma wfp_on_image and author name to theory
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) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |
The file was modified | Admin/jenkins/run_build (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Wellfounded.thy (diff) |