equal
deleted
inserted
replaced
43 Other sources of information |
43 Other sources of information |
44 |
44 |
45 The Isabelle Page |
45 The Isabelle Page |
46 |
46 |
47 The Isabelle home page may be accessed both from Cambridge and Munich: |
47 The Isabelle home page may be accessed both from Cambridge and Munich: |
48 * http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ |
48 * http://www.cl.cam.ac.uk/research/hvg/Isabelle/ |
49 * http://isabelle.in.tum.de |
49 * http://isabelle.in.tum.de |
50 |
50 |
51 Mailing list |
51 Mailing list |
52 |
52 |
53 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a |
53 The electronic mailing list isabelle-users@cl.cam.ac.uk provides a |