a contribution about subset theory in an intuitionistic and predicative foundation

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

diff --git a/helm/coq-contribs/SUBSETS/description b/helm/coq-contribs/SUBSETS/description
new file mode 100644 (file)
index 0000000..ac4d053
--- /dev/null
+++ b/helm/coq-contribs/SUBSETS/description
@@ -0,0 +1,13 @@
+Name: toolbox
+Title: A theory of subsets on an intuitionistic and predicative foundation
+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: subsets, toolbox
+Version: 7.3.1
+Require: