README
changeset 62197 f354900ac0ea
parent 62190 ec5703538300
child 67866 11e4060bcdca
equal deleted inserted replaced
62196:66fb3d1767f2 62197:f354900ac0ea
    29 
    29 
    30 Other sources of information
    30 Other sources of information
    31 
    31 
    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 the following mirror
    35    Sydney:
    35    sites:
    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
    39      * http://mirror.cse.unsw.edu.au/pub/isabelle
       
    40      * http://mirror.clarkson.edu/isabelle
    40 
    41 
    41   Mailing list
    42   Mailing list
    42 
    43 
    43    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    44    The electronic mailing list isabelle-users@cl.cam.ac.uk provides a
    44    forum for Isabelle users to discuss problems and exchange
    45    forum for Isabelle users to discuss problems and exchange