Thu, 10 Oct 1996 10:46:14 +0200 | paulson | Addition of de Morgan laws | changeset | files |
Thu, 10 Oct 1996 10:45:20 +0200 | paulson | Removed Fast_tac made redundant by addition of de Morgan laws | changeset | files |
Wed, 09 Oct 1996 13:50:28 +0200 | paulson | Fuller description of examples | changeset | files |