# HG changeset patch
# User berghofe
# Date 870989544 -7200
# Node ID fc9970e62cfacc6a7cee24d78d5b6cf20dac758d
# Parent 1884b433c6a526723c40bc0e4b286ae7b9e0d43c
Index file which is copied to $ISABELLE_BROWSER_INFO
when theory browsing data is generated.
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
+
+
+