matita.cs.unibo.it Git - helm.git/tree - helm/coq-contribs/SUBSETS/

drwxr-xr-x		..
-rw-r--r--	5	.cvsignore	blob \| history \| raw
-rw-r--r--	576	.depend	blob \| history \| raw
-rw-r--r--	165	Make	blob \| history \| raw
-rw-r--r--	4250	Makefile	blob \| history \| raw
-rw-r--r--	1266	README	blob \| history \| raw
-rw-r--r--	98	Standard.v	blob \| history \| raw
-rw-r--r--	289	Toolbox.v	blob \| history \| raw
-rw-r--r--	390	description	blob \| history \| raw
-rw-r--r--	15571	st_arith.v	blob \| history \| raw
-rw-r--r--	4242	st_base.v	blob \| history \| raw
-rw-r--r--	5425	st_logic.v	blob \| history \| raw
-rw-r--r--	5821	st_nat.v	blob \| history \| raw
-rw-r--r--	5708	tbs_base.v	blob \| history \| raw
-rw-r--r--	3345	tbs_fin.v	blob \| history \| raw
-rw-r--r--	6834	tbs_fun.v	blob \| history \| raw
-rw-r--r--	26700	tbs_op.v	blob \| history \| raw
-rw-r--r--	7313	tbs_rel.v	blob \| history \| raw
-rw-r--r--	4074	tbs_rop.v	blob \| history \| raw
-rw-r--r--	10735	xt_fin.v	blob \| history \| raw