equal
deleted
inserted
replaced
30 <h2>Mailing list</h2> |
30 <h2>Mailing list</h2> |
31 |
31 |
32 <p>You may use the mailing list <a href= |
32 <p>You may use the mailing list <a href= |
33 "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
33 "mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its |
34 <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss |
34 <a href="https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html">archive</a> to discuss |
35 problems and results. To subscribe, <a href= |
35 problems and results. |
36 "mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe"> |
36 To subscribe, contact our robot: |
37 contact our robot</a>.</p> |
37 <a href="mailto:Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe">Cl-isabelle-users-request@lists.cam.ac.uk?subject=subscribe</a>. |
|
38 </p> |
38 |
39 |
39 <h2>Contributing theorems</h2> |
40 <h2>Contributing theorems</h2> |
40 |
41 |
41 <p>Did you have to prove a lemma that should have been part |
42 <p>Did you have to prove a lemma that should have been part |
42 of the Isabelle distribution? Send it to us!</p> |
43 of the Isabelle distribution? Send it to us!</p> |