aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories7/Sets
ModeNameSize
-rw-r--r--.cvsignore5logplain
-rwxr-xr-xClassical_sets.v4499logplain
-rwxr-xr-xConstructive_sets.v5069logplain
-rwxr-xr-xCpo.v4275logplain
-rwxr-xr-xEnsembles.v4240logplain
-rwxr-xr-xFinite_sets.v2930logplain
-rwxr-xr-xFinite_sets_facts.v11282logplain
-rwxr-xr-xImage.v6709logplain
-rwxr-xr-xInfinite_sets.v8238logplain
-rwxr-xr-xIntegers.v5141logplain
-rwxr-xr-xMultiset.v5204logplain
-rwxr-xr-xPartial_Order.v3493logplain
-rwxr-xr-xPermut.v2697logplain
-rwxr-xr-xPowerset.v6777logplain
-rwxr-xr-xPowerset_Classical_facts.v10734logplain
-rwxr-xr-xPowerset_facts.v8203logplain
-rwxr-xr-xRelations_1.v3016logplain
-rwxr-xr-xRelations_1_facts.v4081logplain
-rwxr-xr-xRelations_2.v2525logplain
-rwxr-xr-xRelations_2_facts.v5543logplain
-rwxr-xr-xRelations_3.v2761logplain
-rwxr-xr-xRelations_3_facts.v6267logplain
-rw-r--r--Uniset.v5572logplain