Fri, 17 Jan 1997 11:09:19 +0100 | paulson | New miniscoping rules for the bounded quantifiers and UN/INT operators | file | diff | annotate |
Tue, 25 Jun 1996 13:11:29 +0200 | berghofe | Changed argument order of nat_rec. | file | diff | annotate |
Thu, 06 Jun 1996 14:39:44 +0200 | paulson | Quotes now optional around inductive set | file | diff | annotate |
Thu, 25 Apr 1996 12:45:14 +0200 | paulson | Rearrangement and polishing to look for for publication | file | diff | annotate |
Wed, 27 Mar 1996 18:48:50 +0100 | paulson | New mutilated checkerboard example | file | diff | annotate |