lib/html/index1.html
changeset 3746 e832a36121ab
parent 3634 fc9970e62cfa
child 3845 7fde09d61bc0
equal deleted inserted replaced
3745:4c5d3b1ddc75 3746:e832a36121ab
     1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
     1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
     2 <center>
     2 <center>
     3  <H2>
     3  <H2>
     4  <img src="../gif/Isabelle.gif"><P>
     4  <img src="gif/Isabelle.gif"><P>
     5  <i>The Logical Choice!</i>
     5  <i>The Logical Choice!</i>
     6  </H2>
     6  </H2>
     7 </center>
     7 </center>
     8 <P>
     8 <P>
     9 <A HREF="../graph/index.html">View version for Java-capable browsers</A>
     9 <A HREF="graph/index.html">View version for Java-capable browsers</A>
    10 <P>
    10 <P>
    11 Click on the logic's name to view a list of its theories.
    11 Click on the logic's name to view a list of its theories.
    12 <HR>
    12 <HR>
    13 First-Order Logic
    13 First-Order Logic
    14   <UL>
    14   <UL>