--- a/Admin/page/main-content/index.content Thu Feb 10 19:14:35 2005 +0100
+++ b/Admin/page/main-content/index.content Fri Feb 11 04:36:22 2005 +0100
@@ -50,11 +50,12 @@
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, in which case the author's name will be attached to it.
-Lemmas should be general, useful, and not too large. For
+We will collect theorems sent to <img align="absbottom" border="0"
+width="233" height="18" alt="isabelle-lemmas"
+src="isabelle-lemmas.gif" valign="center">. Accepted material will be
+included in the Isabelle sources, with credit given to the
+author. Note that the Isabelle sources are distributed under the BSD
+license. 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>.
Binary file Admin/page/main-content/isabelle-lemmas.gif has changed
