![[Jenkins]](/jenkins/static/77e8e0f1/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- prefer single name
| The file was modified | thys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2.thy |
| The file was modified | thys/Flyspeck-Tame/FaceDivisionProps.thy |
| The file was modified | thys/Generalized_Counting_Sort/Conservation.thy |
| The file was modified | thys/Universal_Turing_Machine/UTM.thy |
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- prefer single name
| The file was modified | NEWS |
| The file was modified | src/FOL/FOL.thy |
| The file was modified | src/FOL/IFOL.thy |
| The file was modified | src/HOL/HOL.thy |
| The file was modified | src/HOL/Proofs/Lambda/NormalForm.thy |
| The file was modified | src/HOL/Transcendental.thy |