src/HOL/Transitive_Closure_lemmas.ML
Tue, 22 May 2001 15:12:11 +0200 berghofe Transitive closure is now defined via "inductive".
Mon, 29 Jan 2001 23:02:21 +0100 nipkow Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
Fri, 26 Jan 2001 00:15:36 +0100 wenzelm Transitive_Closure turned into new-style theory;
less more (0) tip