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 |