Thu, 10 Oct 1996 11:59:01 +0200 | paulson | Added comments describing better proofs | changeset | files |
Thu, 10 Oct 1996 11:58:40 +0200 | paulson | Simpset removes the de Morgan laws | changeset | files |
Thu, 10 Oct 1996 11:13:48 +0200 | paulson | Removed Modal since Sequents contains everything in it | changeset | files |