equal
deleted
inserted
replaced
38 <h2>Course Material</h2> |
38 <h2>Course Material</h2> |
39 |
39 |
40 The <a |
40 The <a |
41 href="http://isabelle.in.tum.de/coursematerial/">course material</a> |
41 href="http://isabelle.in.tum.de/coursematerial/">course material</a> |
42 page makes slides, demos, and exercises of a growing number of |
42 page makes slides, demos, and exercises of a growing number of |
43 Isabelle courses available. It is meant as a ressource for people who |
43 Isabelle courses available. It is meant as a resource for people |
44 would like to learn Isabelle and also for those who would like to give |
44 who would like to learn Isabelle as well as for those who would like |
45 courses on Isabelle. |
45 to teach it. |
46 |
46 |
47 <p> |
47 <p> |
48 |
48 |
49 <h2>AFP - The Archive of Formal Proofs</h2> |
49 <h2>AFP - The Archive of Formal Proofs</h2> |
50 |
50 |