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