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

drwxr-xr-x		..
-rw-r--r--	4356	Classical_sets.mma	blob \| history \| raw
-rw-r--r--	5508	Constructive_sets.mma	blob \| history \| raw
-rw-r--r--	4303	Cpo.mma	blob \| history \| raw
-rw-r--r--	4896	Ensembles.mma	blob \| history \| raw
-rw-r--r--	3646	Finite_sets.mma	blob \| history \| raw
-rw-r--r--	5055	Finite_sets_facts.mma	blob \| history \| raw
-rw-r--r--	4534	Image.mma	blob \| history \| raw
-rw-r--r--	4366	Infinite_sets.mma	blob \| history \| raw
-rw-r--r--	4529	Integers.mma	blob \| history \| raw
-rw-r--r--	4724	Multiset.mma	blob \| history \| raw
-rw-r--r--	4130	Partial_Order.mma	blob \| history \| raw
-rw-r--r--	3085	Permut.mma	blob \| history \| raw
-rw-r--r--	6072	Powerset.mma	blob \| history \| raw
-rw-r--r--	5680	Powerset_Classical_facts.mma	blob \| history \| raw
-rw-r--r--	5714	Powerset_facts.mma	blob \| history \| raw
-rw-r--r--	4078	Relations_1.mma	blob \| history \| raw
-rw-r--r--	4044	Relations_1_facts.mma	blob \| history \| raw
-rw-r--r--	3552	Relations_2.mma	blob \| history \| raw
-rw-r--r--	3993	Relations_2_facts.mma	blob \| history \| raw
-rw-r--r--	3985	Relations_3.mma	blob \| history \| raw
-rw-r--r--	3624	Relations_3_facts.mma	blob \| history \| raw
-rw-r--r--	4964	Uniset.mma	blob \| history \| raw