equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="iso-8859-1"?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
|
3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
|
4 <!-- $Id$ --> |
|
5 |
|
6 <html xmlns="http://www.w3.org/1999/xhtml"> |
|
7 <head> |
|
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> |
|
9 <title>The {ISABELLE} Library</title> |
|
10 </head> |
|
11 |
|
12 <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040"> |
|
13 <center> |
|
14 <table width="100%" border="0" cellspacing="10" cellpadding="0"> |
|
15 <tr> |
|
16 <td width="20%" valign="middle" align="center"><a href="http://isabelle.in.tum.de/"><img align="bottom" src="isabelle.gif" width="100" height="86" alt="[Isabelle]" border="0" /></a></td> |
|
17 |
|
18 <td width="80%" valign="middle" align="center"> |
|
19 <table width="90%" border="0" cellspacing="0" cellpadding="20"> |
|
20 <tr> |
|
21 <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td> |
|
22 </tr> |
|
23 </table> |
|
24 </td> |
|
25 </tr> |
|
26 </table> |
|
27 </center> |
|
28 <hr /> |