src/HOL/Transitive_Closure.thy
changeset 66787 64b47495676d
parent 63612 7195acc2fe93
child 67399 eab6ce8368fa