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