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