From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 6 May 2005 19:59:13 +0000 (+0000)
Subject: The README file was patched
X-Git-Tag: single_binding~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1c8721e5ae9006ea9eeda2de113f9edfe96e1d71;p=helm.git

The README file was patched
---

diff --git a/helm/coq-contribs/LAMBDA-TYPES.tgz b/helm/coq-contribs/LAMBDA-TYPES.tgz
index 615c03d1e..35fa962dd 100644
Binary files a/helm/coq-contribs/LAMBDA-TYPES.tgz and b/helm/coq-contribs/LAMBDA-TYPES.tgz differ
diff --git a/helm/coq-contribs/SUBSETS.tgz b/helm/coq-contribs/SUBSETS.tgz
index 43b20d86e..ad647f417 100644
Binary files a/helm/coq-contribs/SUBSETS.tgz and b/helm/coq-contribs/SUBSETS.tgz differ