equal
deleted
inserted
replaced
19 |
19 |
20 <p> |
20 <p> |
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 alt="[Cambridge |
24 src="cambridge.gif" width=145 border=0 align=right |
25 logo]"></a> <a href="http://isabelle.in.tum.de/munich.html"><img |
25 alt="[Cambridge logo]"></a> <a |
26 src="munich.gif" width=48 border=0 align=right alt="[Munich |
26 href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif" |
27 logo]"></a> This page provides general information on Isabelle, more |
27 width=48 border=0 align=right alt="[Munich logo]"></a> This page |
28 specific information is available from the local pages |
28 provides general information on Isabelle, more specific information is |
|
29 available from the local pages |
29 |
30 |
30 <ul> |
31 <ul> |
31 |
32 |
32 <li> <a |
33 <li> <a |
33 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle |
34 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle |
35 |
36 |
36 <li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle |
37 <li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle |
37 at Munich</strong></a> |
38 at Munich</strong></a> |
38 |
39 |
39 </ul> |
40 </ul> |
|
41 |
40 See there for information on projects done with Isabelle, mailing list |
42 See there for information on projects done with Isabelle, mailing list |
41 archives, research papers, the Isabelle bibliography, and Isabelle |
43 archives, research papers, the Isabelle bibliography, and Isabelle |
42 workshops and courses. |
44 workshops and courses. |
43 |
45 |
44 |
46 |