equal
deleted
inserted
replaced
26 </ul> |
26 </ul> |
27 |
27 |
28 <p> |
28 <p> |
29 |
29 |
30 Use the mailing list <a href="mailto: |
30 Use the mailing list <a href="mailto: |
31 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
31 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
32 <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to discuss |
32 and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to |
33 problems and results. Why not <a |
33 discuss problems and results. To subscribe, <a |
34 href="mailto:lcp@cl.cam.ac.uk">subscribe</a>? |
34 href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>. |
|
35 |