| 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 |