Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added final newline
authorlcp
Mon, 31 Oct 1994 15:41:20 +0100
changeset 661 370653a15535
parent 660 7fe6ec24d842
child 662 2342e70a97d4
added final newline
src/Modal/README file | annotate | diff | comparison | revisions 
--- 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)
isabelle