# HG changeset patch
# User clasohm
# Date 815318246 -3600
# Node ID f63b036ad690389ff70ad02159e48c2648b5883b
# Parent e733302b416e6fb280ff48d3cdc911fb82e102ac
replaced by index.html
diff -r e733302b416e -r f63b036ad690 logics.html
--- a/logics.html Thu Nov 02 14:16:52 1995 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-Isabelle Logics
-Isabelle Logics
-Click on the logic's name to view a list of its theories.
-
-First-Order Logic
-
-
-Higher-Order Logic
-
-
-Sequent Calculus
-
-
-Miscellaneous
-
-
-