matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/procedural/Coq/Sets/

drwxr-xr-x		..
-rw-r--r--	4367	Classical_sets.mma	blob \| history \| raw
-rw-r--r--	5519	Constructive_sets.mma	blob \| history \| raw
-rw-r--r--	4472	Cpo.mma	blob \| history \| raw
-rw-r--r--	4935	Ensembles.mma	blob \| history \| raw
-rw-r--r--	3659	Finite_sets.mma	blob \| history \| raw
-rw-r--r--	5068	Finite_sets_facts.mma	blob \| history \| raw
-rw-r--r--	4547	Image.mma	blob \| history \| raw
-rw-r--r--	4379	Infinite_sets.mma	blob \| history \| raw
-rw-r--r--	4542	Integers.mma	blob \| history \| raw
-rw-r--r--	4735	Multiset.mma	blob \| history \| raw
-rw-r--r--	4143	Partial_Order.mma	blob \| history \| raw
-rw-r--r--	3124	Permut.mma	blob \| history \| raw
-rw-r--r--	6083	Powerset.mma	blob \| history \| raw
-rw-r--r--	5693	Powerset_Classical_facts.mma	blob \| history \| raw
-rw-r--r--	5727	Powerset_facts.mma	blob \| history \| raw
-rw-r--r--	4117	Relations_1.mma	blob \| history \| raw
-rw-r--r--	4055	Relations_1_facts.mma	blob \| history \| raw
-rw-r--r--	3563	Relations_2.mma	blob \| history \| raw
-rw-r--r--	4006	Relations_2_facts.mma	blob \| history \| raw
-rw-r--r--	3998	Relations_3.mma	blob \| history \| raw
-rw-r--r--	3635	Relations_3_facts.mma	blob \| history \| raw
-rw-r--r--	4975	Uniset.mma	blob \| history \| raw