diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-17 10:09:02 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-03-17 10:09:02 +0000 |
| commit | ceb78dca0e2172577d0e2d4a15aa80da7d6bc5ae (patch) | |
| tree | 0e2631760eae9dd51c1cfb944a5313654338ffbc /theories/Sets | |
| parent | f78ee253bfced259d29b2e25ae6f8890be750ce3 (diff) | |
Modification des propriétés (svn:executable)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8642 85f007b7-540e-0410-9357-904b9bb8a0f7
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 |