matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 50377dd) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 4 Jun 2005 15:12:01 +0000 (15:12 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sat, 4 Jun 2005 15:12:01 +0000 (15:12 +0000)
commit	65f400affe20fa3fe66b9a998ced5d6f64a23b45
tree	3bfb0dc619c4303ef47ac2885b48dcbc15356c50	tree \| snapshot
parent	50377dde5b5b1a8e5c7b2fb48b47defde9508b50	commit \| diff

a contribution about subset theory in an intuitionistic and predicative foundation

19 files changed:

helm/coq-contribs/SUBSETS/.cvsignore	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/.depend	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/Make	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/Makefile	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/README	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/Standard.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/Toolbox.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/description	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/st_arith.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/st_base.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/st_logic.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/st_nat.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/tbs_base.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/tbs_fin.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/tbs_fun.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/tbs_op.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/tbs_rel.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/tbs_rop.v	[new file with mode: 0644]	blob
helm/coq-contribs/SUBSETS/xt_fin.v	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.