equal
deleted
inserted
replaced
17 These pages provide general information on Isabelle, more specific |
17 These pages provide general information on Isabelle, more specific |
18 information is available from the local pages |
18 information is available from the local pages |
19 |
19 |
20 <ul> |
20 <ul> |
21 |
21 |
22 <li> <a |
22 <li><a |
23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle |
23 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><strong>Isabelle |
24 at Cambridge</strong></a> |
24 at Cambridge</strong></a> |
25 |
25 |
26 <li> <a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle at Munich</strong></a> |
26 <li><a href="http://isabelle.in.tum.de/munich.html"><strong>Isabelle |
|
27 at Munich</strong></a> |
27 |
28 |
28 </ul> |
29 </ul> |
29 |
30 |
30 See there for information on projects done with Isabelle, mailing list |
31 See there for information on projects done with Isabelle, mailing list |
31 archives, research papers, the Isabelle bibliography, and Isabelle |
32 archives, research papers, the Isabelle bibliography, and Isabelle |