# HG changeset patch
# User berghofe
# Date 870991766 -7200
# Node ID 4394662893b247c8b02728bf223ba95cf8dd9338
# Parent 225f2565fefff841f6319d5761b8999404a5c207
This file has moved to Distribution/lib/html.
diff -r 225f2565feff -r 4394662893b2 index.html
--- a/index.html Thu Aug 07 23:48:29 1997 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,35 +0,0 @@
-Isabelle Logics
-
-
- 
- The Logical Choice!
-
-
-
-Click on the logic's name to view a list of its theories.
-
-First-Order Logic
-
-
-Higher-Order Logic
-
-
-Miscellaneous
-
-
-