lib/logo/index.html
changeset 5384 c974451df466
parent 5243 a0688fa916af
child 6257 ee0b48ab5aea
equal deleted inserted replaced
5383:74c2da44d144 5384:c974451df466
    17 href="#plain">plain</a>, <a href="#transparent">transparent</a>) and
    17 href="#plain">plain</a>, <a href="#transparent">transparent</a>) and
    18 major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>, <a
    18 major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>, <a
    19 href="#HOLCF">HOLCF</a>).  There are also <a
    19 href="#HOLCF">HOLCF</a>).  There are also <a
    20 href="isabelle-small.xpm">small</a> and <a
    20 href="isabelle-small.xpm">small</a> and <a
    21 href="isabelle-tiny.xpm">tiny</a> Isabelle icons available.
    21 href="isabelle-tiny.xpm">tiny</a> Isabelle icons available.
       
    22 Furthermore, there are EPS versions of the <a
       
    23 href="isabelle.eps">plain</a> and the <a
       
    24 href="isabelle_hol.eps">HOL</a> Isabelle logo.
    22 
    25 
    23 
    26 
    24 <h2>Interpretation</h2>
    27 <h2>Interpretation</h2>
    25 
    28 
    26 <img src="isabelle.gif" align=right alt="[Isabelle logo]"> First of
    29 <img src="isabelle.gif" align=right alt="[Isabelle logo]"> First of