aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sets
ModeNameSize
-rw-r--r--Classical_sets.v4578logplain
-rw-r--r--Constructive_sets.v4954logplain
-rw-r--r--Cpo.v4193logplain
-rw-r--r--Ensembles.v4016logplain
-rw-r--r--Finite_sets.v2974logplain
-rw-r--r--Finite_sets_facts.v12150logplain
-rw-r--r--Image.v7179logplain
-rw-r--r--Infinite_sets.v8853logplain
-rw-r--r--Integers.v5323logplain
-rw-r--r--Multiset.v5873logplain
-rw-r--r--Partial_Order.v3619logplain
-rw-r--r--Permut.v2925logplain
-rw-r--r--Powerset.v6662logplain
-rw-r--r--Powerset_Classical_facts.v11512logplain
-rw-r--r--Powerset_facts.v8501logplain
-rw-r--r--Relations_1.v2902logplain
-rw-r--r--Relations_1_facts.v4032logplain
-rw-r--r--Relations_2.v2473logplain
-rw-r--r--Relations_2_facts.v5541logplain
-rw-r--r--Relations_3.v2680logplain
-rw-r--r--Relations_3_facts.v6341logplain
-rw-r--r--Uniset.v5519logplain
-rw-r--r--vo.itarget348logplain