diff -r d258f6c11d83 -r 0bc0440fcdb9 lib/html/index.html --- a/lib/html/index.html Thu Apr 22 01:20:23 2004 +0200 +++ b/lib/html/index.html Thu Apr 22 09:19:28 2004 +0200 @@ -28,7 +28,7 @@ Higher-Order Logic