diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-16 17:24:22 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-16 19:15:48 +0200 |
| commit | 3591171d8c09e2f9cb3bea87d5ba5aa6501acacb (patch) | |
| tree | b485fd2e8652492e185acdb2e7ee171592aeada7 /CHANGES | |
| parent | 05c7a8ac7721e149c78b6704b8294a3c8561482f (diff) | |
Improve wording.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -84,7 +84,7 @@ Standard Library - New lemmas about iff and about orders on positive and Z. - New lemmas on powerRZ. - Strengthened statement of JMeq_eq_dep (closes BZ#4912). -- The BigN, BigZ, BigZ libraries are not part anymore of Coq standard +- The BigN, BigZ, BigZ libraries are no longer part of the Coq standard library, they are now provided by a separate repository https://github.com/coq/bignums The split has been done just after the Int31 library. |