# HG changeset patch
# User kleing
# Date 1108020322 -3600
# Node ID a4bbed7487ea695ad6133c882b4f2ce08a9396dd
# Parent  9bc5aff8097607b857990eb06c65944e1cf7031f
mention authors are acknowledged for isabelle-lemmas

diff -r 9bc5aff80976 -r a4bbed7487ea Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Thu Feb 10 08:21:40 2005 +0100
+++ b/Admin/page/main-content/index.content	Thu Feb 10 08:25:22 2005 +0100
@@ -53,9 +53,10 @@
 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>.
+distribution, in which case the author's name will be attached to it. 
+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>