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