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