src/HOL/Transitive_Closure.thy
changeset 41654 32fe42892983
parent 39302 d7728f65b353
child 41792 ff3cb0c418b7