Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
Tue, 30 Jun 1998 20:51:15 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
Thu, 08 Aug 1996 11:34:29 +0200 | berghofe | Simplified primrec definitions. | file | diff | annotate |
Thu, 06 Jun 1996 14:39:44 +0200 | paulson | Quotes now optional around inductive set | file | diff | annotate |
Tue, 07 May 1996 18:17:52 +0200 | paulson | Removal of special syntax for -a-> and -b-> | file | diff | annotate |
Sat, 27 Apr 1996 18:49:21 +0200 | nipkow | Arithemtic and boolean expressions are now in a separate theory. | file | diff | annotate |