From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 13 May 2008 19:03:34 +0000 (+0000)
Subject: we added a link to lambda-delta home page in the hope that this page gets eventually... 
X-Git-Tag: make_still_working~5218
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ecf6f2741d56261acf4580379d35117d80385da2;p=helm.git

we added a link to lambda-delta home page in the hope that this page gets eventually indexed by google :)
---

diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml
index 57f54e2bd..c22db5e1c 100644
--- a/helm/www/matita/library.shtml
+++ b/helm/www/matita/library.shtml
@@ -58,6 +58,11 @@
          here</a>.
       </p>
 
+      <h2>The Formal System &lambda;&delta; (lambda-delta)<a name="lambda-delta"></a></h2>
+      <p>
+      See the <a href="http://helm.cs.unibo.it/lambda-delta/">&lambda;&delta; home page</a>.
+      </p>
+
       <!--#include virtual="bottombar.shtml" -->
     </div>
   </body>