| Fri, 21 Jun 1996 12:18:50 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Thu, 25 Apr 1996 12:45:14 +0200 | paulson | Rearrangement and polishing to look for for publication | file | diff | annotate |
| Tue, 23 Apr 1996 16:58:57 +0200 | oheimb | repaired critical proofs depending on the order inside non-confluent SimpSets | file | diff | annotate |
| Thu, 04 Apr 1996 11:45:01 +0200 | paulson | Using new "Times" infix | file | diff | annotate |
| Fri, 29 Mar 1996 13:19:01 +0100 | paulson | Simplified proof of tiling_UnI | file | diff | annotate |
| Thu, 28 Mar 1996 12:36:50 +0100 | paulson | Moved even/odd lemmas from ex/Mutil to Arith | file | diff | annotate |
| Wed, 27 Mar 1996 18:48:50 +0100 | paulson | New mutilated checkerboard example | file | diff | annotate |