diff -r dfbe72ddbd2d -r 74c2da44d144 lib/html/index1.html
--- a/lib/html/index1.html Thu Aug 27 11:19:35 1998 +0200
+++ b/lib/html/index1.html Thu Aug 27 11:50:18 1998 +0200
@@ -1,34 +1,52 @@
-Isabelle Logics ({ISABELLE})
-
- 
-
-
-Switch to Java-based version, including theory graph browser.
-
+
+
+
Isabelle Logics ({ISABELLE})
+
+
+
+
+
+
+
+Switch to Java-based version, including
+theory graph browser.
+
+
+
Click on the logic's name to view a list of its theories.
-
+
+
+
First-Order Logic
-
-
+
+
+
+
+
Higher-Order Logic
-
-
+
+
+
+
+
Miscellaneous
-
-
-
+
+
+
+
+
+
+