# 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: