X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2FLAMBDA-TYPES%2FREADME;h=6a5bf7e0f63f763760e8305e0125c28b0daca2ae;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d35c2dd39b28483156b02414efaea50f955af517;hpb=1b21075e987872a2e3103203b4e67c939e4a9f6a;p=helm.git

diff --git a/helm/coq-contribs/LAMBDA-TYPES/README b/helm/coq-contribs/LAMBDA-TYPES/README
index d35c2dd39..6a5bf7e0f 100644
--- a/helm/coq-contribs/LAMBDA-TYPES/README
+++ b/helm/coq-contribs/LAMBDA-TYPES/README
@@ -58,4 +58,4 @@ Further information on this contribution:
   The latest version of this development is maintained in the CVS repository
   of the HELM project <helm.cs.unibo.it> and can be downloaded at: 
    
-  www.cs.unibo.it/cgi-bin/viewcvs.cgi/helm/coq-contribs/LAMBDA-TYPES.tgz
+  www.cs.unibo.it/cgi-bin/viewcvs.cgi/helm/coq-contribs/LAMBDA-TYPES