lib/html/index1.html
changeset 5173 5e68e3cb1f60
parent 5169 c677baeac0f7
child 5174 c51961c75921
equal deleted inserted replaced
5172:0af867c248ee 5173:5e68e3cb1f60
     1 <HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD>
     1 <HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD>
     2 <center>
     2 <center>
     3  <img src="gif/isabelle.gif"><P>
     3  <img src="gif/isabelle.gif"><P>
     4 </center>
     4 </center>
     5 <P>
     5 <P>
     6 <A HREF="graph/index.html">Java-based version including theory graph browser</A>
     6 Switch to <A HREF="graph/index.html">Java-based</A> version including theory graph browser.
     7 <P>
     7 <P>
     8 Click on the logic's name to view a list of its theories.
     8 Click on the logic's name to view a list of its theories.
     9 <HR>
     9 <HR>
    10 First-Order Logic
    10 First-Order Logic
    11   <UL>
    11   <UL>