--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/community.html	Sat Jun 04 10:26:08 2005 +0200
@@ -0,0 +1,52 @@
+<?xml version='1.0' encoding='iso-8859-1' ?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<?cvs id="$Id$"?>
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+    <title>Community</title>
+    <?include file="//include/htmlheader.include.html"?>
+</head>
+
+<body class="main">
+    <?include file="//include/header.include.html"?>
+    <div class="hr"><hr/></div>
+    <?include file="//include/navigation.include.html"?>
+    <div class="hr"><hr/></div>
+    <div id="content">
+
+      <h2>Mailing list</h2> 
+      <p>
+      You may use the mailing list <a
+      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>
+      and its <a
+      href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
+      discuss problems and results.  To subscribe, <a
+      href="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
+      Larry Paulson</a>.</p>
+
+      <h2>Contributing theorems</h2>
+
+      <p>Did you have to prove a lemma that should have been part
+      of the Isabelle distribution? Send it to us!</p>
+
+      <p>We will collect theorems sent to <a href=
+      "mailto:isabelle-lemmas@cl.cam.ac.uk">isabelle-lemmas@cl.cam.ac.uk</a>.
+      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>.</p>
+
+      <h2 id="afp">The Archive of Formal Proofs (AFP)</h2>
+      <p>The <a href="http://afp.sf.net">Archive of Formal Proofs</a> is a collection of proof
+      libraries, examples, and larger scientifc developments, mechanically checked
+      in Isabelle. It is organized in the way of a scientific journal. Submissions
+      are refereed.</p>
+
+    </div>
+    <div class="hr"><hr/></div>
+    <?include file="//include/footer.include.html"?>
+</body>
+
+</html>