we restored the scripts of \lambda\delta version 1

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

diff --git a/helm/coq-contribs/LAMBDA-TYPES/description b/helm/coq-contribs/LAMBDA-TYPES/description
deleted file mode 100644 (file)
index 06f6623..0000000
--- a/helm/coq-contribs/LAMBDA-TYPES/description
+++ /dev/null
@@ -1,13 +0,0 @@
-Name: lambda-delta
-Title: A formalization of a lambda-typed lambda-calculus with abbreviations
-Author: Ferruccio Guidi
-Email: fguidi@cs.unibo.it
-Homepage: http://www.cs.unibo.it/~fguidi
-Institution: Department of Computer Science, University of Bologna
-Address: Mura Anteo Zamboni 7, 40127 Bologna, ITALY
-Date: March 31, 2005 
-Description:
-Url:
-Keywords: lambda-types, lambda-calculus, abbreviations
-Version: 7.3.1
-Require: