equal
deleted
inserted
replaced
41 <li>New command for finding matching rewrite rules</li> |
41 <li>New command for finding matching rewrite rules</li> |
42 <li>New syntax to allow > and >=</li> |
42 <li>New syntax to allow > and >=</li> |
43 <li>New automatic transitivity reasoner</li> |
43 <li>New automatic transitivity reasoner</li> |
44 <li>New command for ad-hoc theory viewing and printing</li> |
44 <li>New command for ad-hoc theory viewing and printing</li> |
45 </ul> |
45 </ul> |
|
46 |
|
47 <h2>Contributing</h2> |
|
48 |
|
49 Did you have to prove a lemma that should have been part of the |
|
50 Isabelle distribution? Send it to us! |
|
51 <p> |
|
52 We will collect theorems sent to <img border="0" width="162" |
|
53 height="16" alt="isabelle-lemmas" src="isabelle-lemmas.gif" |
|
54 valign="center"> and consider them for inclusion into the |
|
55 distribution. Lemmas should be general, useful, and not too |
|
56 large. For larger developments you might want to consider a submission |
|
57 to the <a href="http://afp.sf.net">Archive of Formal Proofs</a>. |
|
58 |
46 |
59 |
47 <h2>Course Material, Exercises</h2> |
60 <h2>Course Material, Exercises</h2> |
48 |
61 |
49 The <a |
62 The <a |
50 href="http://isabelle.in.tum.de/coursematerial/">course material</a> |
63 href="http://isabelle.in.tum.de/coursematerial/">course material</a> |