diff options
| author | Jason Gross | 2018-10-02 14:40:52 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-10-02 14:40:52 -0400 |
| commit | 9e7402632f1aecf5d2dce936d95e296097024ea5 (patch) | |
| tree | 97ce597a8238ab07aa175e0a2965352c5a4eefa3 /theories/Arith | |
| parent | a4bde2c1504c3fa3efe74586798d5d6f372b40d9 (diff) | |
Update compat notations to be compat 8.7
All changes done with
```
git grep --name-only 'compat "8.6"' | xargs sed -i s'/compat "8.6"/compat "8.7"/g'
```
As per https://github.com/coq/coq/pull/8374#issuecomment-426202818 and
https://github.com/coq/coq/issues/8383#issuecomment-426200497
Diffstat (limited to 'theories/Arith')
| -rw-r--r-- | theories/Arith/Compare_dec.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/theories/Arith/Compare_dec.v b/theories/Arith/Compare_dec.v index 713aef858e..6f220f2023 100644 --- a/theories/Arith/Compare_dec.v +++ b/theories/Arith/Compare_dec.v @@ -135,10 +135,10 @@ Qed. See now [Nat.compare] and its properties. In scope [nat_scope], the notation for [Nat.compare] is "?=" *) -Notation nat_compare := Nat.compare (compat "8.6"). +Notation nat_compare := Nat.compare (compat "8.7"). -Notation nat_compare_spec := Nat.compare_spec (compat "8.6"). -Notation nat_compare_eq_iff := Nat.compare_eq_iff (compat "8.6"). +Notation nat_compare_spec := Nat.compare_spec (compat "8.7"). +Notation nat_compare_eq_iff := Nat.compare_eq_iff (compat "8.7"). Notation nat_compare_S := Nat.compare_succ (only parsing). Lemma nat_compare_lt n m : n<m <-> (n ?= m) = Lt. |