--- a/lib/html/index1.html Fri May 05 22:23:27 2000 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,52 +0,0 @@
-<html>
-
-<head><title>Isabelle Logics ({ISABELLE})</title></head>
-
-<body>
-
-<center><img src="isabelle.gif" alt="Isabelle"></center>
-
-<p>
-
-Switch to <a href="graph/index.html">Java-based</a> version, including
-theory graph browser.
-
-<p>
-
-Click on the logic's name to view a list of its theories.
-
-<hr>
-
-First-Order Logic
-
-<ul>
-<li><a href="FOL/index.html">FOL</a>
-<li><a href="ZF/index.html">ZF (Set Theory)</a>
-<li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
-<li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
-<li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
-</ul>
-
-<hr>
-
-Higher-Order Logic
-
-<ul>
-<li><a href="HOL/index.html">HOL</a>
-<li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
-</ul>
-
-<hr>
-
-Miscellaneous
-
-<ul>
-<li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
-<li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
-<li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
-</ul>
-
-<hr>
-
-</body>
-</html>