equal
deleted
inserted
replaced
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 |
26 <li><a href="http://www4.in.tum.de/proj/theoremprov/group.html"><strong>Isabelle |
27 at Munich</strong></a> |
27 at Munich</strong></a> |
28 |
28 |
29 </ul> |
29 </ul> |
30 |
30 |
31 See there for information on projects done with Isabelle, mailing list |
31 See there for information on projects done with Isabelle, mailing list |
32 archives, research papers, the Isabelle bibliography, and Isabelle |
32 archives, research papers, the Isabelle bibliography, and Isabelle |
33 workshops and courses. |
33 workshops and courses. |
|
34 |
|
35 <p> |
|
36 |
|
37 <h2>Out now</h2> |
|
38 |
|
39 The |
|
40 <a href="dist/<!-- _GP_ distname -->/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a> -- |
|
41 published by Springer Verlag as <a |
|
42 href="http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>. |
34 |
43 |
35 <p> |
44 <p> |
36 |
45 |
37 <h2>Obtaining Isabelle</h2> |
46 <h2>Obtaining Isabelle</h2> |
38 |
47 |