Changed some file names.

--- a/lib/html/index2.html	Mon May 17 17:07:54 1999 +0200
+++ b/lib/html/index2.html	Mon May 17 17:18:31 1999 +0200
@@ -19,11 +19,11 @@
 First-Order Logic
 
 <ul>
-<li><a href="data/FOL/large.html">FOL</a>
-<li><a href="data/ZF/large.html">ZF (Set Theory)</a>
-<li><a href="data/CCL/large.html">CCL (Classical Computational Logic)</a>
-<li><a href="data/LCF/large.html">LCF (Logic of Computable Functions)</a>
-<li><a href="data/FOLP/large.html">FOLP (FOL with Proof Terms)</a>
+<li><a href="data/FOL/medium.html">FOL</a>
+<li><a href="data/ZF/medium.html">ZF (Set Theory)</a>
+<li><a href="data/CCL/medium.html">CCL (Classical Computational Logic)</a>
+<li><a href="data/LCF/medium.html">LCF (Logic of Computable Functions)</a>
+<li><a href="data/FOLP/medium.html">FOLP (FOL with Proof Terms)</a>
 </ul>
 
 <hr>
@@ -31,8 +31,8 @@
 Higher-Order Logic
 
 <ul>
-<li><a href="data/HOL/large.html">HOL</a>
-<li><a href="data/HOLCF/large.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
+<li><a href="data/HOL/medium.html">HOL</a>
+<li><a href="data/HOLCF/medium.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
 </ul>
 
 <hr>
@@ -40,9 +40,9 @@
 Miscellaneous
 
 <ul>
-<li><a href="data/Sequents/large.html">Sequents (first-order, modal and linear logics)</a>
-<li><a href="data/CTT/large.html">CTT (Constructive Type Theory)</a>
-<li><a href="data/Cube/large.html">Cube (The Lambda Cube)</a>
+<li><a href="data/Sequents/medium.html">Sequents (first-order, modal and linear logics)</a>
+<li><a href="data/CTT/medium.html">CTT (Constructive Type Theory)</a>
+<li><a href="data/Cube/medium.html">Cube (The Lambda Cube)</a>
 </ul>
 
 <hr>