# HG changeset patch
# User lcp
# Date 783614480 -3600
# Node ID 370653a155355f18fee3957e9c678969fd8dc2ff
# Parent  7fe6ec24d84293c9baeb44e4da1a4206907e4d34
added final newline

diff -r 7fe6ec24d842 -r 370653a15535 src/Modal/README
--- 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)