diff -r f14eaac189e8 -r fc315796794e src/HOL/Transitive_Closure.thy