# HG changeset patch # User wenzelm # Date 982098249 -3600 # Node ID 3b8efc0ead027ba831fdbf80f7a9e8fc7c791005 # Parent 306beb99e192f2d5ac5fbbea52ccee92c3d819df tuned; diff -r 306beb99e192 -r 3b8efc0ead02 lib/html/index.html --- a/lib/html/index.html Tue Feb 13 16:48:36 2001 +0100 +++ b/lib/html/index.html Tue Feb 13 22:04:09 2001 +0100 @@ -28,7 +28,7 @@ Higher-Order Logic