| changeset 3845 | 7fde09d61bc0 |
| parent 3746 | e832a36121ab |
| child 5169 | c677baeac0f7 |
--- a/lib/html/index1.html Sun Oct 12 22:04:06 1997 +0200 +++ b/lib/html/index1.html Sun Oct 12 22:06:00 1997 +0200 @@ -1,9 +1,6 @@ <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD> <center> - <H2> - <img src="gif/Isabelle.gif"><P> - <i>The Logical Choice!</i> - </H2> + <img src="gif/isabelle.gif"><P> </center> <P> <A HREF="graph/index.html">View version for Java-capable browsers</A>