Thu, 10 Oct 1996 10:47:26 +0200 | paulson | Tidied some proofs: changed needed for de Morgan laws | changeset | files |
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 |