| Thu, 10 Oct 1996 10:47:26 +0200 | paulson | Tidied some proofs: changed needed for de Morgan laws | file | diff | annotate |
| Tue, 30 Jul 1996 17:33:26 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Fri, 31 May 1996 19:47:23 +0200 | oheimb | adapted some proofs for new simplifier | 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 |
| Fri, 19 Apr 1996 11:18:59 +0200 | clasohm | adapted to new version of Fun.ML | file | diff | annotate |
| Mon, 11 Mar 1996 23:59:22 +0100 | clasohm | added constdefs section | file | diff | annotate |
| Mon, 04 Mar 1996 14:38:30 +0100 | nipkow | Proof modification. | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Mon, 13 Nov 1995 12:06:57 +0100 | mueller | *** empty log message *** | file | diff | annotate |
| Wed, 04 Oct 1995 13:12:14 +0100 | clasohm | added local simpsets | file | diff | annotate |
| Fri, 08 Sep 1995 14:52:22 +0200 | mueller | *** empty log message *** | file | diff | annotate |
| Wed, 31 May 1995 10:45:00 +0200 | mueller | polish | file | diff | annotate |
| Thu, 13 Apr 1995 16:55:14 +0200 | nipkow | ABP: Alternating bit protocol example | file | diff | annotate |