aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sets
ModeNameSize
-rw-r--r--Classical_sets.v4574logplain
-rw-r--r--Constructive_sets.v4950logplain
-rw-r--r--Cpo.v4193logplain
-rw-r--r--Ensembles.v4006logplain
-rw-r--r--Finite_sets.v2966logplain
-rw-r--r--Finite_sets_facts.v12150logplain
-rw-r--r--Image.v7175logplain
-rw-r--r--Infinite_sets.v8853logplain
-rw-r--r--Integers.v5323logplain
-rw-r--r--Multiset.v5861logplain
-rw-r--r--Partial_Order.v3611logplain
-rw-r--r--Permut.v2925logplain
-rw-r--r--Powerset.v6618logplain
-rw-r--r--Powerset_Classical_facts.v11484logplain
-rw-r--r--Powerset_facts.v11257logplain
-rw-r--r--Relations_1.v2894logplain
-rw-r--r--Relations_1_facts.v4032logplain
-rw-r--r--Relations_2.v2457logplain
-rw-r--r--Relations_2_facts.v5541logplain
-rw-r--r--Relations_3.v2656logplain
-rw-r--r--Relations_3_facts.v6341logplain
-rw-r--r--Uniset.v5519logplain