equal
deleted
inserted
replaced
60 <b>Important local information:</b> Students are welcome to |
60 <b>Important local information:</b> Students are welcome to |
61 participate, see <a href="stud/index.html">Isabelle Projekte für |
61 participate, see <a href="stud/index.html">Isabelle Projekte für |
62 Studenten</a> (in German) for more information. |
62 Studenten</a> (in German) for more information. |
63 |
63 |
64 |
64 |
65 <h2>Isabelle resources</h2> |
|
66 |
|
67 <ul> |
|
68 |
|
69 <li> Isabelle <a href="dist/index.html">distribution area</a> |
|
70 |
|
71 <li> Isabelle online theory library: <a |
|
72 href="library-Isabelle99/index.html">Isabelle99</a>, <a |
|
73 href="library-Isabelle98-1/index.html">Isabelle98-1</a> |
|
74 |
|
75 </ul> |
|