src/HOL/Transitive_Closure.thy
changeset 44311 42c5cbf68052
parent 43596 78211f66cf8d
child 44890 22f665a2e91c