| 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 |
| Thu, 10 Oct 1996 11:09:03 +0200 | paulson | Removed LK since Sequents contains everything in it | changeset | files |
| Thu, 10 Oct 1996 10:57:33 +0200 | paulson | New root file with more description, and merging LK and Modal to Sequents | changeset | files |
| 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 |