Tue, 02 Jul 2002 13:28:08 +0200 | paulson | Tidying and introduction of various new theorems | file | diff | annotate |
Fri, 10 May 2002 22:50:08 +0200 | paulson | converted the AC branch to Isar | file | diff | annotate |
Fri, 12 Aug 1994 12:51:34 +0200 | lcp | installation of new inductive/datatype sections | file | diff | annotate |
Wed, 27 Jul 1994 15:33:42 +0200 | lcp | Addition of infinite branching datatypes | file | diff | annotate |