lib/html/index1.html
changeset 5383 74c2da44d144
parent 5174 c51961c75921
child 5388 678f34b3d560
equal deleted inserted replaced
5382:dfbe72ddbd2d 5383:74c2da44d144
     1 <HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD>
     1 <html>
     2 <center>
     2 
     3  <img src="gif/isabelle.gif"><P>
     3 <head><title>Isabelle Logics ({ISABELLE})</title></head>
     4 </center>
     4 
     5 <P>
     5 <body>
     6 Switch to <A HREF="graph/index.html">Java-based</A> version, including theory graph browser.
     6 
     7 <P>
     7 <img src="gif/isabelle.gif" alt="Isabelle" align=center>
       
     8 
       
     9 <p>
       
    10 
       
    11 Switch to <a href="graph/index.html">Java-based</a> version, including
       
    12 theory graph browser.
       
    13 
       
    14 <p>
       
    15 
     8 Click on the logic's name to view a list of its theories.
    16 Click on the logic's name to view a list of its theories.
     9 <HR>
    17 
       
    18 <hr>
       
    19 
    10 First-Order Logic
    20 First-Order Logic
    11   <UL>
    21 
    12   <LI><A HREF = "FOL/index.html">FOL</A>
    22 <ul>
    13   <LI><A HREF = "ZF/index.html">ZF (Set Theory)</A>
    23 <li><a href="FOL/index.html">FOL</a>
    14   <LI><A HREF = "CCL/index.html">CCL (Classical Computational Logic)</A>
    24 <li><a href="ZF/index.html">ZF (Set Theory)</a>
    15   <LI><A HREF = "LCF/index.html">LCF (Logic of Computable Functions)</A>
    25 <li><a href="CCL/index.html">CCL (Classical Computational Logic)</a>
    16   <LI><A HREF = "FOLP/index.html">FOLP (FOL with Proof Terms)</A>
    26 <li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a>
    17   </UL>
    27 <li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a>
    18 <HR>
    28 </ul>
       
    29 
       
    30 <hr>
       
    31 
    19 Higher-Order Logic
    32 Higher-Order Logic
    20   <UL>
    33 
    21   <LI><A HREF = "HOL/index.html">HOL</A>
    34 <ul>
    22   <LI><A HREF = "HOLCF/index.html">HOLCF 
    35 <li><a href="HOL/index.html">HOL</a>
    23 		   (Higher-Order Logic of Computable Functions)</A>
    36 <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a>
    24   </UL>
    37 </ul>
    25 <HR>
    38 
       
    39 <hr>
       
    40 
    26 Miscellaneous
    41 Miscellaneous
    27   <UL>
    42 
    28   <LI><A HREF = "Sequents/index.html">Sequents 
    43 <ul>
    29 	  (first-order, modal and linear logics)</A>
    44 <li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a>
    30   <LI><A HREF = "CTT/index.html">CTT (Constructive Type Theory)</A>
    45 <li><a href="CTT/index.html">CTT (Constructive Type Theory)</a>
    31   <LI><A HREF = "Cube/index.html">Cube (The Lambda Cube)</A>
    46 <li><a href="Cube/index.html">Cube (The Lambda Cube)</a>
    32   </UL>
    47 </ul>
    33 <HR>
    48 
    34 </BODY></HTML>
    49 <hr>
       
    50 
       
    51 </body>
       
    52 </html>