equal
deleted
inserted
replaced
20 and major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>, |
20 and major object logics (<a href="#ZF">ZF</a>, <a href="#HOL">HOL</a>, |
21 <a href="#HOLCF">HOLCF</a>). There are also <a |
21 <a href="#HOLCF">HOLCF</a>). There are also <a |
22 href="isabelle-small.xpm">small</a> and <a |
22 href="isabelle-small.xpm">small</a> and <a |
23 href="isabelle-tiny.xpm">tiny</a> Isabelle icons available. |
23 href="isabelle-tiny.xpm">tiny</a> Isabelle icons available. |
24 Furthermore, scalable (EPS) versions of the logo may be generated for |
24 Furthermore, scalable (EPS) versions of the logo may be generated for |
25 any logic using the <tt>isatool logo</tt> utility distributed with |
25 any logic using the <tt>isabelle logo</tt> utility distributed with |
26 Isabelle. |
26 Isabelle. |
27 |
27 |
28 |
28 |
29 <h2>Interpretation</h2> |
29 <h2>Interpretation</h2> |
30 |
30 |