# HG changeset patch
# User clasohm
# Date 814711464 -3600
# Node ID 3c2ca9c1da9c014e93276502660f7415746ec946
# Parent 3d773439d844c38ecc6bfac34ff2c3620a749aa5
renamed logics.html and 00-chart.html to index.html
diff -r 3d773439d844 -r 3c2ca9c1da9c index.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/index.html Thu Oct 26 13:44:24 1995 +0100
@@ -0,0 +1,32 @@
+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
+
+
+