X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Flibrary.shtml;h=c42fa673bd0fd87dcab5afe1841e23771fdbab47;hb=c74a1a8237c8a05d26be0112f560d24de8cd9f0f;hp=a7c0cf17a588c0173f575a57c8808f3b73eb611e;hpb=7c5a250298d2c872362f235716925ce674c516d7;p=helm.git

diff --git a/helm/www/matita/library.shtml b/helm/www/matita/library.shtml
index a7c0cf17a..c42fa673b 100644
--- a/helm/www/matita/library.shtml
+++ b/helm/www/matita/library.shtml
@@ -143,7 +143,7 @@
          here</a>.
       </p>
 
-      <h2>The Formal System &lambda;&delta; (lambda-delta)<a name="lambda-delta"></a></h2>
+      <h2>The Formal System &lambda;&delta; (lambda_delta)<a name="lambda_delta"></a></h2>
       
       <p>The formal system &lambda;&delta; is a typed &lambda;-calculus that
          pursues the unification of terms, types, environments and contexts
@@ -166,7 +166,7 @@
       </p>
       
       <p>
-       See the <a href="http://helm.cs.unibo.it/lambda-delta/">&lambda;&delta; home page</a>
+       See the <a href="http://lambda-delta.info/">&lambda;&delta; home page</a>
        for more information.
       </p>