| Thu, 20 Dec 2001 18:22:44 +0100 | nipkow | renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl | file | diff | annotate |
| Thu, 13 Dec 2001 16:47:35 +0100 | nipkow | comp -> rel_comp | file | diff | annotate |
| Thu, 13 Dec 2001 15:45:03 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
| 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 |