# HG changeset patch # User haftmann # Date 1193737279 -3600 # Node ID 9146551357f6f21fbfab71f8a405d199c97aa01e # Parent 9b4d0c13c332f8ce6303b630a4ec38855990b2c0 structured diff -r 9b4d0c13c332 -r 9146551357f6 lib/html/index.html --- a/lib/html/index.html Tue Oct 30 10:30:09 2007 +0100 +++ b/lib/html/index.html Tue Oct 30 10:41:19 2007 +0100 @@ -8,19 +8,19 @@ - The Isabelle Library ({ISABELLE}) + The {ISABELLE} Library
- + @@ -28,37 +28,49 @@
[Isabelle][Isabelle] - +
The Isabelle LibraryThe {ISABELLE} Library
- Higher-Order Logic -
- First-Order Logic -
- Miscellaneous -