summaryrefslogtreecommitdiff
path: root/theories/Sets
ModeNameSize
-rw-r--r--Classical_sets.v4647logplain
-rw-r--r--Constructive_sets.v5026logplain
-rw-r--r--Cpo.v4190logplain
-rw-r--r--Ensembles.v4016logplain
-rw-r--r--Finite_sets.v2990logplain
-rw-r--r--Finite_sets_facts.v12235logplain
-rw-r--r--Image.v7224logplain
-rw-r--r--Infinite_sets.v8906logplain
-rw-r--r--Integers.v5416logplain
-rw-r--r--Multiset.v6033logplain
-rw-r--r--Partial_Order.v3689logplain
-rw-r--r--Permut.v2925logplain
-rw-r--r--Powerset.v6766logplain
-rw-r--r--Powerset_Classical_facts.v11685logplain
-rw-r--r--Powerset_facts.v8637logplain
-rw-r--r--Relations_1.v2902logplain
-rw-r--r--Relations_1_facts.v4104logplain
-rw-r--r--Relations_2.v2473logplain
-rw-r--r--Relations_2_facts.v5589logplain
-rw-r--r--Relations_3.v2680logplain
-rw-r--r--Relations_3_facts.v6445logplain
-rw-r--r--Uniset.v5727logplain
-rwxr-xr-xintro.tex733logplain
-rw-r--r--vo.itarget348logplain