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
+
+
+