diff -r 1884b433c6a5 -r fc9970e62cfa lib/html/index1.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/html/index1.html Thu Aug 07 23:32:24 1997 +0200
@@ -0,0 +1,37 @@
+Isabelle Logics
+
+
+ 
+ The Logical Choice!
+
+
+
+View version for Java-capable browsers
+
+Click on the logic's name to view a list of its theories.
+
+First-Order Logic
+
+
+Higher-Order Logic
+
+
+Miscellaneous
+
+
+