contribution about \lambda-\delta

[helm.git] / helm / coq-contribs / SUBSETS.tgz

diff --git a/helm/coq-contribs/SUBSETS.tgz b/helm/coq-contribs/SUBSETS.tgz
deleted file mode 100644 (file)
index ad647f4..0000000
Binary files a/helm/coq-contribs/SUBSETS.tgz and /dev/null differ