equal
deleted
inserted
replaced
35 <p>Isabelle is a joint project between Lawrence C. Paulson |
35 <p>Isabelle is a joint project between Lawrence C. Paulson |
36 (University of Cambridge, UK) and Tobias Nipkow (Technical |
36 (University of Cambridge, UK) and Tobias Nipkow (Technical |
37 University of Munich, Germany).</p> |
37 University of Munich, Germany).</p> |
38 |
38 |
39 <p>Isabelle is distributed <em>freely</em> as Open Source |
39 <p>Isabelle is distributed <em>freely</em> as Open Source |
40 Software <!--a href="//dist/packages/Isabelle/COPYRIGHT"-->BSD |
40 Software <!--a href="//dist/Isabelle/COPYRIGHT"-->BSD |
41 license<!--/a-->; see the <a |
41 license<!--/a-->; see the <a |
42 href="installation.html">installation instructions</a>.</p> |
42 href="installation.html">installation instructions</a>.</p> |
43 |
43 |
44 <h2>Preview of Isabelle</h2> |
44 <h2>Preview of Isabelle</h2> |
45 |
45 |