pointer to isabelle-lemmas submission list
Thu, 10 Feb 2005 07:47:06 +0100
changeset 15514 a8b4c9a87e85
parent 15513 1a2aedd20d37
child 15515 9bc5aff80976
pointer to isabelle-lemmas submission list
--- 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>
+Did you have to prove a lemma that should have been part of the
+Isabelle distribution?  Send it to us!  
+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
Binary file Admin/page/main-content/isabelle-lemmas.gif has changed