# HG changeset patch
# User wenzelm
# Date 904211418 -7200
# Node ID 74c2da44d144d4e577ce5f62050140b48cbd8e7e
# Parent dfbe72ddbd2d1cd5920967ca6786ce63b6c97494
weblinted, tuned;
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
-
-
-
+
+
+
+
+
+
+