src/HOL/Transitive_Closure_lemmas.ML
2001-01-29 nipkow 2001-01-29 Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
2001-01-26 wenzelm 2001-01-26 Transitive_Closure turned into new-style theory;