README
changeset 62190 ec5703538300
parent 57452 ecad2a53755a
child 62197 f354900ac0ea
equal deleted inserted replaced
62189:116f41763b2b 62190:ec5703538300
    32   The Isabelle Page
    32   The Isabelle Page
    33 
    33 
    34    The Isabelle home page may be accessed from Cambridge, Munich, and
    34    The Isabelle home page may be accessed from Cambridge, Munich, and
    35    Sydney:
    35    Sydney:
    36 
    36 
    37      * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    37      * http://www.cl.cam.ac.uk/research/hvg/Isabelle
    38      * http://isabelle.in.tum.de
    38      * http://isabelle.in.tum.de
    39      * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
    39      * http://mirror.cse.unsw.edu.au/pub/isabelle
    40 
    40 
    41   Mailing list
    41   Mailing list
    42 
    42 
    43    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    43    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    44    forum for Isabelle users to discuss problems and exchange
    44    forum for Isabelle users to discuss problems and exchange