# HG changeset patch
# User haftmann
# Date 1193736609 -3600
# Node ID 9b4d0c13c332f8ce6303b630a4ec38855990b2c0
# Parent 1aa9c8f022d00d55d4cf415b39eb54582a255cd7
tidied version
diff -r 1aa9c8f022d0 -r 9b4d0c13c332 lib/html/index.html
--- a/lib/html/index.html Tue Oct 30 08:45:55 2007 +0100
+++ b/lib/html/index.html Tue Oct 30 10:30:09 2007 +0100
@@ -1,67 +1,64 @@
-
-
+
+
-
+
+
+
+
-
-
The Isabelle Library ({ISABELLE})
+
+
+
+ |
-
-
-
-
-
- |
-
-
-
-
- The Isabelle Library
- |
-
-
- |
-
-
-
+
+
+
+ The Isabelle Library |
+
+
+ |
+
+
+
+
+ Higher-Order Logic
-
-
-Higher-Order Logic
+
+
+ First-Order Logic
-
+
+
+ Miscellaneous
-Miscellaneous
+
+