ocaml 3.09 transition

[helm.git] / helm / coq-contribs / LAMBDA-TYPES / README

diff --git a/helm/coq-contribs/LAMBDA-TYPES/README b/helm/coq-contribs/LAMBDA-TYPES/README
index d35c2dd39b28483156b02414efaea50f955af517..6a5bf7e0f63f763760e8305e0125c28b0daca2ae 100644 (file)
--- 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