21 |
21 |
22 <a |
22 <a |
23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img |
23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img |
24 src="cambridge.gif" width=145 border=0 align=right |
24 src="cambridge.gif" width=145 border=0 align=right |
25 alt="[Cambridge]"></a> <a |
25 alt="[Cambridge]"></a> <a |
26 href="http://www.in.tum.de/~isabelle/munich.html"><img |
26 href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif" |
27 src="munich.gif" width=48 border=0 align=right alt="[Munich]"></a> |
27 width=48 border=0 align=right alt="[Munich]"></a> This page provides |
28 This page provides general information on Isabelle, more details are |
28 general information on Isabelle, more details are available on the |
29 available on the local Isabelle pages at <a |
29 local Isabelle pages at <a |
30 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a> |
30 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html">Cambridge</a> |
31 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>. |
31 and <a href="http://isabelle.in.tum.de/munich.html">Munich</a>. See |
32 See there for information on projects done with Isabelle, mailing list |
32 there for information on projects done with Isabelle, mailing list |
33 archives, research papers, the Isabelle bibliography, and Isabelle |
33 archives, research papers, the Isabelle bibliography, and Isabelle |
34 workshops and courses. |
34 workshops and courses. |
35 |
35 |
36 |
36 |
37 <h2>Obtaining Isabelle</h2> |
37 <h2>Obtaining Isabelle</h2> |