--- a/Admin/page/main-content/index.content Wed Feb 09 18:51:02 2005 +0100
+++ b/Admin/page/main-content/index.content Thu Feb 10 07:47:06 2005 +0100
@@ -44,6 +44,19 @@
<li>New command for ad-hoc theory viewing and printing</li>
</ul>
+<h2>Contributing</h2>
+
+Did you have to prove a lemma that should have been part of the
+Isabelle distribution? Send it to us!
+<p>
+We will collect theorems sent to <img border="0" width="162"
+height="16" alt="isabelle-lemmas" src="isabelle-lemmas.gif"
+valign="center"> and consider them for inclusion into the
+distribution. Lemmas should be general, useful, and not too
+large. For larger developments you might want to consider a submission
+to the <a href="http://afp.sf.net">Archive of Formal Proofs</a>.
+
+
<h2>Course Material, Exercises</h2>
The <a