index.html
changeset 1774 bc584c1b8426
parent 1773 5f94ddc07de2
child 2084 5963238bc1b6
equal deleted inserted replaced
1773:5f94ddc07de2 1774:bc584c1b8426
     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 align=middle src="Tools/Isabelle.gif"> <i>The Logical Choice!</i>
     4  <img src="Tools/Isabelle.gif"><P>
     5 </H2> 
     5  <i>The Logical Choice!</i>
       
     6  </H2>
     6 </center>
     7 </center>
     7 <P>
     8 <P>
     8 Click on the logic's name to view a list of its theories.
     9 Click on the logic's name to view a list of its theories.
     9 <HR>
    10 <HR>
    10 First-Order Logic
    11 First-Order Logic