equal
deleted
inserted
replaced
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 |