helm/coq-contribs/SUBSETS/description

   1 Name: toolbox
   2 Title: A theory of subsets on an intuitionistic and predicative foundation
   3 Author: Ferruccio Guidi
   4 Email: fguidi@cs.unibo.it
   5 Homepage: http://www.cs.unibo.it/~fguidi
   6 Institution: Department of Computer Science, University of Bologna
   7 Address: Mura Anteo Zamboni 7, 40127 Bologna, ITALY
   8 Date: March 31, 2005
   9 Description:
  10 Url:
  11 Keywords: subsets, toolbox
  12 Version: 7.3.1
  13 Require: