src/HOL/Transitive_Closure.thy
changeset 52435 6646bb548c6b
parent 51717 9e7d1c139569
child 54412 900c6d724250