# HG changeset patch
# User kleing
# Date 1108092982 -3600
# Node ID 95db9cf4b047e069955c0da36f806fe9d805b49d
# Parent  748ebc63b807e466a56b3e600c48063af64fa0ac
update from Larry

diff -r 748ebc63b807 -r 95db9cf4b047 Admin/page/main-content/index.content
--- 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>.
 
diff -r 748ebc63b807 -r 95db9cf4b047 Admin/page/main-content/isabelle-lemmas.gif
Binary file Admin/page/main-content/isabelle-lemmas.gif has changed