update from Larry
Fri, 11 Feb 2005 04:36:22 +0100
changeset 15527 95db9cf4b047
parent 15526 748ebc63b807
child 15528 1b12557f720d
update from Larry
--- 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!  
-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