X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Flibrary.shtml;h=c22db5e1ce9f03802dcbcb812811ff85175bef68;hb=f73bd1c1cdd504c2a991071505b2e4f541791a7f;hp=57f54e2bdbf62e3e63485d9ca7ef9b9f7b8aeecd;hpb=6c7be6bbe4e645f5ab99e82d322e1a70503781cb;p=helm.git

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>