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 5<html xmlns="http://www.w3.org/1999/xhtml"> 6<head> 7 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> 8 <title>The {ISABELLE} Library</title> 9</head> 10 11<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040"> 12 <center> 13 <table width="100%" border="0" cellspacing="10" cellpadding="0"> 14 <tr> 15 <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> 16 17 <td width="80%" valign="middle" align="center"> 18 <table width="90%" border="0" cellspacing="0" cellpadding="20"> 19 <tr> 20 <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td> 21 </tr> 22 </table> 23 </td> 24 </tr> 25 </table> 26 </center> 27 <hr /> 28