Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/html/library_index_content.template
changeset 75992 1f6d79b62222
parent 74676 d37b204e1f89
child 76113 b62634686c72 
--- a/lib/html/library_index_content.template	Fri Aug 26 21:55:03 2022 +0200
+++ b/lib/html/library_index_content.template	Fri Aug 26 23:12:42 2022 +0200
@@ -16,20 +16,20 @@
 
     <li style="list-style: none">
       <ul>
-        <li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a>
+        <li><a href="ZF/index.html">ZF (Set Theory)</a>
+        offers a formulation of Zermelo-Fraenkel set theory on top of FOL.
+        </li>
+
+        <li><a href="FOL/FOL/index.html">FOL (Many-sorted First-Order Logic)</a>
         provides basic classical and intuitionistic first-order logic. It is
         polymorphic.
         </li>
 
-        <li><a href="ZF/index.html">ZF (Set Theory)</a>
-        offers a formulation of Zermelo-Fraenkel set theory on top of FOL.
-        </li>
+        <li><a href="FOL/CCL/index.html">CCL (Classical Computational Logic)</a></li>
 
-        <li><a href="CCL/index.html">CCL (Classical Computational Logic)</a></li>
+        <li><a href="FOL/LCF/index.html">LCF (Logic of Computable Functions)</a></li>
 
-        <li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a></li>
-
-        <li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a></li>
+        <li><a href="FOL/FOLP/index.html">FOLP (FOL with Proof Terms)</a></li>
       </ul>
     </li>
   </ul>
@@ -39,12 +39,12 @@
 
     <li style="list-style: none">
       <ul>
-        <li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a></li>
+        <li><a href="Misc/Sequents/index.html">Sequents (first-order, modal and linear logics)</a></li>
 
-        <li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
+        <li><a href="Misc/CTT/index.html">CTT (Constructive Type Theory)</a>
         is an extensional version of Martin-L&ouml;f's Type Theory.</li>
 
-        <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li>
+        <li><a href="Misc/Cube/index.html">Cube (The Lambda Cube)</a></li>
 
         <li><a href="Pure/index.html">The Pure logical framework</a></li>
isabelle