# HG changeset patch
# User nipkow
# Date 833370819 -7200
# Node ID 5f94ddc07de2f0bb682d7bd7682765747d5b796d
# Parent ee2be39126d2dc1dbdf48c1a15a08a0e3c30715c
Added logo
diff -r ee2be39126d2 -r 5f94ddc07de2 index.html
--- a/index.html Wed May 29 13:47:43 1996 +0200
+++ b/index.html Wed May 29 13:53:39 1996 +0200
@@ -1,5 +1,10 @@
Isabelle Logics
-Isabelle Logics
+
+
+
The Logical Choice!
+
+
+
Click on the logic's name to view a list of its theories.
First-Order Logic