# HG changeset patch
# User clasohm
# Date 814542585 -3600
# Node ID 27c1e88a62b4510b7570296aa6543652e52b12d2
# Parent 1358dc040edb70504c5d39bb468f07afeb99b413
entry page for HTML version of Isabelle's logics
diff -r 1358dc040edb -r 27c1e88a62b4 logics.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/logics.html Tue Oct 24 14:49:45 1995 +0100
@@ -0,0 +1,33 @@
+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
+
+
+