diff options
Diffstat (limited to 'theories/Sets')
21 files changed, 0 insertions, 0 deletions
diff --git a/theories/Sets/Classical_sets.v b/theories/Sets/Classical_sets.v index a21534bd5..a21534bd5 100755..100644 --- a/theories/Sets/Classical_sets.v +++ b/theories/Sets/Classical_sets.v diff --git a/theories/Sets/Constructive_sets.v b/theories/Sets/Constructive_sets.v index 09a941bcd..09a941bcd 100755..100644 --- a/theories/Sets/Constructive_sets.v +++ b/theories/Sets/Constructive_sets.v diff --git a/theories/Sets/Cpo.v b/theories/Sets/Cpo.v index efd83c106..efd83c106 100755..100644 --- a/theories/Sets/Cpo.v +++ b/theories/Sets/Cpo.v diff --git a/theories/Sets/Ensembles.v b/theories/Sets/Ensembles.v index 9c85d67d0..9c85d67d0 100755..100644 --- a/theories/Sets/Ensembles.v +++ b/theories/Sets/Ensembles.v diff --git a/theories/Sets/Finite_sets.v b/theories/Sets/Finite_sets.v index 53981ea8d..53981ea8d 100755..100644 --- a/theories/Sets/Finite_sets.v +++ b/theories/Sets/Finite_sets.v diff --git a/theories/Sets/Finite_sets_facts.v b/theories/Sets/Finite_sets_facts.v index 94ea964c2..94ea964c2 100755..100644 --- a/theories/Sets/Finite_sets_facts.v +++ b/theories/Sets/Finite_sets_facts.v diff --git a/theories/Sets/Image.v b/theories/Sets/Image.v index 469b41783..469b41783 100755..100644 --- a/theories/Sets/Image.v +++ b/theories/Sets/Image.v diff --git a/theories/Sets/Infinite_sets.v b/theories/Sets/Infinite_sets.v index c3492ba78..c3492ba78 100755..100644 --- a/theories/Sets/Infinite_sets.v +++ b/theories/Sets/Infinite_sets.v diff --git a/theories/Sets/Integers.v b/theories/Sets/Integers.v index 970d6dab1..970d6dab1 100755..100644 --- a/theories/Sets/Integers.v +++ b/theories/Sets/Integers.v diff --git a/theories/Sets/Multiset.v b/theories/Sets/Multiset.v index aad294e93..aad294e93 100755..100644 --- a/theories/Sets/Multiset.v +++ b/theories/Sets/Multiset.v diff --git a/theories/Sets/Partial_Order.v b/theories/Sets/Partial_Order.v index 07244e66f..07244e66f 100755..100644 --- a/theories/Sets/Partial_Order.v +++ b/theories/Sets/Partial_Order.v diff --git a/theories/Sets/Permut.v b/theories/Sets/Permut.v index 006831909..006831909 100755..100644 --- a/theories/Sets/Permut.v +++ b/theories/Sets/Permut.v diff --git a/theories/Sets/Powerset.v b/theories/Sets/Powerset.v index c323ca356..c323ca356 100755..100644 --- a/theories/Sets/Powerset.v +++ b/theories/Sets/Powerset.v diff --git a/theories/Sets/Powerset_Classical_facts.v b/theories/Sets/Powerset_Classical_facts.v index 1ac59056b..1ac59056b 100755..100644 --- a/theories/Sets/Powerset_Classical_facts.v +++ b/theories/Sets/Powerset_Classical_facts.v diff --git a/theories/Sets/Powerset_facts.v b/theories/Sets/Powerset_facts.v index cae796861..cae796861 100755..100644 --- a/theories/Sets/Powerset_facts.v +++ b/theories/Sets/Powerset_facts.v diff --git a/theories/Sets/Relations_1.v b/theories/Sets/Relations_1.v index f15bf19e6..f15bf19e6 100755..100644 --- a/theories/Sets/Relations_1.v +++ b/theories/Sets/Relations_1.v diff --git a/theories/Sets/Relations_1_facts.v b/theories/Sets/Relations_1_facts.v index fd83b0e0d..fd83b0e0d 100755..100644 --- a/theories/Sets/Relations_1_facts.v +++ b/theories/Sets/Relations_1_facts.v diff --git a/theories/Sets/Relations_2.v b/theories/Sets/Relations_2.v index 11ac85e84..11ac85e84 100755..100644 --- a/theories/Sets/Relations_2.v +++ b/theories/Sets/Relations_2.v diff --git a/theories/Sets/Relations_2_facts.v b/theories/Sets/Relations_2_facts.v index a7da7db9a..a7da7db9a 100755..100644 --- a/theories/Sets/Relations_2_facts.v +++ b/theories/Sets/Relations_2_facts.v diff --git a/theories/Sets/Relations_3.v b/theories/Sets/Relations_3.v index ec8fb7e6d..ec8fb7e6d 100755..100644 --- a/theories/Sets/Relations_3.v +++ b/theories/Sets/Relations_3.v diff --git a/theories/Sets/Relations_3_facts.v b/theories/Sets/Relations_3_facts.v index d8bf7dc3c..d8bf7dc3c 100755..100644 --- a/theories/Sets/Relations_3_facts.v +++ b/theories/Sets/Relations_3_facts.v |