# 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}) +
+ + + -
-
[Isabelle]
- - - - -
- [Isabelle] - - - - - -
- The Isabelle Library -
-
-
+ + + + + +
The Isabelle Library
+ + + + +
+ Higher-Order Logic -
- -Higher-Order Logic + +
+ First-Order Logic -
+ +
+ Miscellaneous -Miscellaneous + +