Tue, 22 May 2001 15:12:11 +0200 | berghofe | Transitive closure is now defined via "inductive". | file | diff | annotate |
Mon, 29 Jan 2001 23:02:21 +0100 | nipkow | Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy | file | diff | annotate |
Fri, 26 Jan 2001 00:15:36 +0100 | wenzelm | Transitive_Closure turned into new-style theory; | file | diff | annotate |