equal
deleted
inserted
replaced
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 border="0" width="162" |
54 height="16" alt="isabelle-lemmas" src="isabelle-lemmas.gif" |
54 height="16" alt="isabelle-lemmas" src="isabelle-lemmas.gif" |
55 valign="center"> and consider them for inclusion into the |
55 valign="center"> and consider them for inclusion into the |
56 distribution. Lemmas should be general, useful, and not too |
56 distribution, in which case the author's name will be attached to it. |
57 large. For larger developments you might want to consider a submission |
57 Lemmas should be general, useful, and not too large. For |
58 to the <a href="http://afp.sf.net">Archive of Formal Proofs</a>. |
58 larger developments you might want to consider a submission to the <a |
|
59 href="http://afp.sf.net">Archive of Formal Proofs</a>. |
59 |
60 |
60 |
61 |
61 <h2>Course Material, Exercises</h2> |
62 <h2>Course Material, Exercises</h2> |
62 |
63 |
63 The <a |
64 The <a |