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 |