equal
deleted
inserted
replaced
46 </ul> |
46 </ul> |
47 |
47 |
48 <h2>Contributing</h2> |
48 <h2>Contributing</h2> |
49 |
49 |
50 Did you have to prove a lemma that should have been part of the |
50 Did you have to prove a lemma that should have been part of the |
51 Isabelle distribution? Send it to us! |
51 Isabelle distribution? Send it to us! <p> We will collect theorems |
52 <p> |
52 sent to <a |
53 We will collect theorems sent to <img align="absbottom" border="0" |
53 href="mailto:isabelle-lemmas@cl.cam.ac.uk">isabelle-lemmas@cl.cam.ac.uk</a>. |
54 width="233" height="18" alt="isabelle-lemmas" |
54 Accepted material will be included in the Isabelle sources, with |
55 src="isabelle-lemmas.gif" valign="center">. Accepted material will be |
55 credit given to the author. Note that the Isabelle sources are |
56 included in the Isabelle sources, with credit given to the |
56 distributed under the BSD license. Lemmas should be general, useful, |
57 author. Note that the Isabelle sources are distributed under the BSD |
57 and not too large. For larger developments you might want to consider |
58 license. Lemmas should be general, useful, and not too large. For |
58 a submission to the <a href="http://afp.sf.net">Archive of Formal |
59 larger developments you might want to consider a submission to the <a |
59 Proofs</a>. |
60 href="http://afp.sf.net">Archive of Formal Proofs</a>. |
|
61 |
60 |
62 |
61 |
63 <h2>Course Material, Exercises</h2> |
62 <h2>Course Material, Exercises</h2> |
64 |
63 |
65 The <a |
64 The <a |
128 |
127 |
129 <p> |
128 <p> |
130 |
129 |
131 <h2>Mailing list</h2> |
130 <h2>Mailing list</h2> |
132 |
131 |
133 Use the mailing list <a href="mailto: |
132 Use the mailing list <a |
134 isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
133 href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> |
135 and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to |
134 and its <a href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to |
136 discuss problems and results. To subscribe, <a |
135 discuss problems and results. To subscribe, <a |
137 href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>. |
136 href="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact Larry Paulson</a>. |
138 |
137 |