Admin/page/main-content/munich.content
changeset 10345 487acfd5f2d2
parent 10180 149878bae19c
child 10462 adf901eb9c40
equal deleted inserted replaced
10344:bb0b65380516 10345:487acfd5f2d2
    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>