# HG changeset patch
# User berghofe
# Date 926954311 -7200
# Node ID c151515d4efad87bf928a7ca29fdad19fe72573b
# Parent  c3686d75e9d6e1fefe0758456b3ab47bbf7f8cab
Changed some file names.

diff -r c3686d75e9d6 -r c151515d4efa lib/html/index2.html
--- 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>