aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Sets
ModeNameSize
-rw-r--r--Classical_sets.v4661logplain
-rw-r--r--Constructive_sets.v5040logplain
-rw-r--r--Cpo.v4203logplain
-rw-r--r--Ensembles.v4030logplain
-rw-r--r--Finite_sets.v3004logplain
-rw-r--r--Finite_sets_facts.v12267logplain
-rw-r--r--Image.v7237logplain
-rw-r--r--Infinite_sets.v8920logplain
-rw-r--r--Integers.v5432logplain
-rw-r--r--Multiset.v5724logplain
-rw-r--r--Partial_Order.v3702logplain
-rw-r--r--Permut.v2938logplain
-rw-r--r--Powerset.v6779logplain
-rw-r--r--Powerset_Classical_facts.v11699logplain
-rw-r--r--Powerset_facts.v8651logplain
-rw-r--r--Relations_1.v2915logplain
-rw-r--r--Relations_1_facts.v4117logplain
-rw-r--r--Relations_2.v2486logplain
-rw-r--r--Relations_2_facts.v5602logplain
-rw-r--r--Relations_3.v2694logplain
-rw-r--r--Relations_3_facts.v6458logplain
-rw-r--r--Uniset.v5740logplain
-rwxr-xr-xintro.tex733logplain