# HG changeset patch
# User nipkow
# Date 833455792 -7200
# Node ID bc584c1b8426c41a0fc5e7feaa461a8ccd148629
# Parent 5f94ddc07de2f0bb682d7bd7682765747d5b796d
Regrouped logo
diff -r 5f94ddc07de2 -r bc584c1b8426 index.html
--- a/index.html Wed May 29 13:53:39 1996 +0200
+++ b/index.html Thu May 30 13:29:52 1996 +0200
@@ -1,8 +1,9 @@
Isabelle Logics
-
-
The Logical Choice!
-
+
+
+ The Logical Choice!
+
Click on the logic's name to view a list of its theories.