author nipkow
Wed, 04 Mar 2009 10:47:20 +0100
changeset 30235 58d147683393
parent 25235 04cb7e02ca38
child 33686 8e33ca8832b1
permissions -rw-r--r--
Made Option a separate theory and renamed option_map to

<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
<!-- $Id$ -->

<html xmlns="">
  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
  <title>The {ISABELLE} Library</title>

<body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
    <table width="100%" border="0" cellspacing="10" cellpadding="0">
        <td width="20%" valign="middle" align="center"><a href=""><img align="bottom" src="isabelle.gif" width="100" height="86" alt="[Isabelle]" border="0" /></a></td>

        <td width="80%" valign="middle" align="center">
          <table width="90%" border="0" cellspacing="0" cellpadding="20">
              <td valign="middle" align="center" bgcolor="#AACCCC"><font face="Helvetica,Arial" size="+2">The {ISABELLE} Library</font></td>
  <hr />