# HG changeset patch # User kleing # Date 1108018026 -3600 # Node ID a8b4c9a87e855cf2c39cc17f90bd9c9a4f32f784 # Parent 1a2aedd20d377e45fe4bd6ce4df7fec5ef977d8b pointer to isabelle-lemmas submission list diff -r 1a2aedd20d37 -r a8b4c9a87e85 Admin/page/main-content/index.content --- 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 @@
+We will collect theorems sent to 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 Archive of Formal Proofs. + +