Wed, 08 Jan 1997 15:04:27 +0100 | paulson | Removal of sum_cs and eq_cs | file | diff | annotate |
Fri, 03 Jan 1997 15:01:55 +0100 | paulson | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
Tue, 08 Oct 1996 10:18:53 +0200 | paulson | Removed command made redundant by the new one-point rules | file | diff | annotate |
Fri, 29 Mar 1996 11:38:47 +0100 | paulson | Simplified proof of tiling_UnI | 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 |