equal
deleted
inserted
replaced
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! |
52 <p> |
52 <p> |
53 We will collect theorems sent to <img border="0" width="162" |
53 We will collect theorems sent to <img align="absbottom" border="0" |
54 height="16" alt="isabelle-lemmas" src="isabelle-lemmas.gif" |
54 width="233" height="18" alt="isabelle-lemmas" |
55 valign="center"> and consider them for inclusion into the |
55 src="isabelle-lemmas.gif" valign="center">. Accepted material will be |
56 distribution, in which case the author's name will be attached to it. |
56 included in the Isabelle sources, with credit given to the |
57 Lemmas should be general, useful, and not too large. For |
57 author. Note that the Isabelle sources are distributed under the BSD |
|
58 license. Lemmas should be general, useful, and not too large. For |
58 larger developments you might want to consider a submission to the <a |
59 larger developments you might want to consider a submission to the <a |
59 href="http://afp.sf.net">Archive of Formal Proofs</a>. |
60 href="http://afp.sf.net">Archive of Formal Proofs</a>. |
60 |
61 |
61 |
62 |
62 <h2>Course Material, Exercises</h2> |
63 <h2>Course Material, Exercises</h2> |