diff -r 7704dc8997ed -r 7fde09d61bc0 lib/html/index1.html
--- a/lib/html/index1.html Sun Oct 12 22:04:06 1997 +0200
+++ b/lib/html/index1.html Sun Oct 12 22:06:00 1997 +0200
@@ -1,9 +1,6 @@
Isabelle Logics
-
- 
- The Logical Choice!
-
+ 
View version for Java-capable browsers