]> matita.cs.unibo.it Git - helm.git/commit
a contribution about subset theory in an intuitionistic and predicative foundation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 4 Jun 2005 15:12:01 +0000 (15:12 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 4 Jun 2005 15:12:01 +0000 (15:12 +0000)
commit65f400affe20fa3fe66b9a998ced5d6f64a23b45
tree3bfb0dc619c4303ef47ac2885b48dcbc15356c50
parent50377dde5b5b1a8e5c7b2fb48b47defde9508b50
a contribution about subset theory in an intuitionistic and predicative foundation
19 files changed:
helm/coq-contribs/SUBSETS/.cvsignore [new file with mode: 0644]
helm/coq-contribs/SUBSETS/.depend [new file with mode: 0644]
helm/coq-contribs/SUBSETS/Make [new file with mode: 0644]
helm/coq-contribs/SUBSETS/Makefile [new file with mode: 0644]
helm/coq-contribs/SUBSETS/README [new file with mode: 0644]
helm/coq-contribs/SUBSETS/Standard.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/Toolbox.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/description [new file with mode: 0644]
helm/coq-contribs/SUBSETS/st_arith.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/st_base.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/st_logic.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/st_nat.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/tbs_base.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/tbs_fin.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/tbs_fun.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/tbs_op.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/tbs_rel.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/tbs_rop.v [new file with mode: 0644]
helm/coq-contribs/SUBSETS/xt_fin.v [new file with mode: 0644]