| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Wed, 19 Dec 2018 13:19:34 +0100 | |
| changeset 5237 | ee17f1b81a7f |
| parent 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>