changeset 661 | 370653a15535 |
parent 0 | a5a9c433f639 |
--- a/src/Modal/README Mon Oct 31 15:35:43 1994 +0100 +++ b/src/Modal/README Mon Oct 31 15:41:20 1994 +0100 @@ -19,4 +19,4 @@ Proof Methods for Modal and Intuitionistic Logics (Reidel, 1983) Lincoln A. Wallen, - Automated Deduction in Nonclassical Logics (MIT Press, 1990) \ No newline at end of file + Automated Deduction in Nonclassical Logics (MIT Press, 1990)