# HG changeset patch
# User paulson
# Date 844861020 -7200
# Node ID 2126029b881e3f0d679ef0f16eadddad40b5e8a4
# Parent  30a65172e003aa88734a3095dd79aa54f24542d1
Updated references

diff -r 30a65172e003 -r 2126029b881e src/LK/README.html
--- a/src/LK/README.html	Wed Oct 09 13:36:17 1996 +0200
+++ b/src/LK/README.html	Wed Oct 09 13:37:00 1996 +0200
@@ -22,8 +22,8 @@
 Useful references on First-Order Logic:
 
 <UL>
-<LI>Jean Gallier,<BR>
-    Logic for Computer Science (Harper&Row, 1986)
+<LI>Steve Reeves and Michael Clarke,<BR>
+    Logic for Computer Science (Addison-Wesley, 1990)
 <LI>G. Takeuti,<BR>
     Proof Theory (North Holland, 1987)
 </UL>