equal
deleted
inserted
replaced
24 |
24 |
25 <p> |
25 <p> |
26 |
26 |
27 Use the mailing list <a href="mailto: |
27 Use the mailing list <a href="mailto: |
28 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
28 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
29 <a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss |
29 <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss |
30 problems and results. Why not <a |
30 problems and results. Why not <a |
31 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |
31 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |