Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Changeset 75652:c4a1088d0081 by desharna: added lemmas total_on_trancl and totalp_on_tranclp
The file was modified	`NEWS`
The file was modified	`src/HOL/Transitive_Closure.thy`