Thu, 31 May 2001 18:28:23 +0200 | paulson | examples files start from Main instead of various ZF theories | file | diff | annotate |
Mon, 21 May 2001 14:36:24 +0200 | paulson | X-symbols for set theory | file | diff | annotate |
Wed, 13 Jan 1999 15:14:47 +0100 | paulson | tidying of datatype and inductive definitions | file | diff | annotate |
Mon, 17 Jun 1996 16:50:08 +0200 | paulson | Converted to use constdefs instead of defs | file | diff | annotate |
Tue, 30 Apr 1996 11:08:09 +0200 | paulson | Cosmetic re-ordering of declarations | file | diff | annotate |
Thu, 28 Mar 1996 10:56:10 +0100 | paulson | Alternative proof removes dependence upon AC | file | diff | annotate |
Tue, 26 Mar 1996 11:32:14 +0100 | paulson | New example: mutilated checkerboard | file | diff | annotate |