index.html
changeset 1774 bc584c1b8426
parent 1773 5f94ddc07de2
child 2084 5963238bc1b6
     1.1 --- a/index.html	Wed May 29 13:53:39 1996 +0200
     1.2 +++ b/index.html	Thu May 30 13:29:52 1996 +0200
     1.3 @@ -1,8 +1,9 @@
     1.4  <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
     1.5  <center>
     1.6 -<H2>
     1.7 -<img align=middle src="Tools/Isabelle.gif"> <i>The Logical Choice!</i>
     1.8 -</H2> 
     1.9 + <H2>
    1.10 + <img src="Tools/Isabelle.gif"><P>
    1.11 + <i>The Logical Choice!</i>
    1.12 + </H2>
    1.13  </center>
    1.14  <P>
    1.15  Click on the logic's name to view a list of its theories.