diff options
| author | notin | 2006-03-17 10:09:02 +0000 |
|---|---|---|
| committer | notin | 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 a21534bd55..a21534bd55 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 09a941bcde..09a941bcde 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 efd83c1060..efd83c1060 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 9c85d67d03..9c85d67d03 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 53981ea8d1..53981ea8d1 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 94ea964c2e..94ea964c2e 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 469b41783d..469b41783d 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 c3492ba78f..c3492ba78f 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 970d6dab1d..970d6dab1d 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 aad294e938..aad294e938 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 07244e66f7..07244e66f7 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 0068319092..0068319092 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 c323ca3569..c323ca3569 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 1ac59056bc..1ac59056bc 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 cae796861c..cae796861c 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 f15bf19e64..f15bf19e64 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 fd83b0e0df..fd83b0e0df 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 11ac85e845..11ac85e845 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 a7da7db9a4..a7da7db9a4 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 ec8fb7e6d2..ec8fb7e6d2 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 d8bf7dc3c7..d8bf7dc3c7 100755..100644 --- a/theories/Sets/Relations_3_facts.v +++ b/theories/Sets/Relations_3_facts.v |