diff -r d22110ddd0af -r 33aff4d854e4 index.html
--- a/index.html Tue Apr 23 16:58:57 1996 +0200
+++ b/index.html Tue Apr 23 17:01:51 1996 +0200
@@ -1,6 +1,8 @@
Isabelle Logics
Isabelle Logics
Click on the logic's name to view a list of its theories.
+
+
+
Higher-Order Logic
+
+
+