author | wneuper |
Sat, 20 Aug 2005 21:20:16 +0200 | |
changeset 2918 | cac1f942e1a1 |
parent 1966 | f2a87600af5c |
child 3928 | d38196e9b162 |
permissions | -rw-r--r-- |
1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 <html>
3 <head>
4 <meta content="text/html; charset=ISO-8859-1"
5 http-equiv="content-type">
6 <title>Isabelle-icon</title>
7 </head>
8 <body>
9 <img style="width: 226px; height: 194px;" alt="Isabelle-icon"
10 src="isabelle-icon.gif"><br>
11 <strong><br>
12 <big>for Transparent Software <br>
13 in Applied Mathematics</big></strong><br>
14 </body>
15 </html>