| Mon, 29 Sep 1997 11:49:33 +0200 | paulson | Now using qed_spec_mp | file | diff | annotate |
| Fri, 04 Apr 1997 11:33:51 +0200 | paulson | Another blast_tac call | file | diff | annotate |
| Wed, 02 Apr 1997 15:36:32 +0200 | paulson | Mostly converted to blast_tac | file | diff | annotate |
| 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 |