Changement de Zarith en ZArith

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8194 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/doc/Library.tex b/doc/Library.tex
index 321c4057ec..c66b6e1cf1 100755
--- a/doc/Library.tex
+++ b/doc/Library.tex
@@ -31,10 +31,10 @@ The standard library is composed of the following subdirectories:
   {\bf Logic}   & Classical logic and dependent equality \\
   {\bf Bool}    & Booleans (basic functions and results) \\
   {\bf Arith}   & Basic Peano arithmetic \\
-  {\bf Zarith}  & Basic integer arithmetic \\
+  {\bf ZArith}  & Basic integer arithmetic \\
   {\bf Reals}   & Axiomatization of Real Numbers (classical, basic functions 
                   and results, integer part and fractional part,
-                  requires the \textbf{Zarith} library).\\
+                  requires the \textbf{ZArith} library).\\
   {\bf Lists}   & Monomorphic and polymorphic lists (basic functions and
                   results), Streams (infinite sequences defined 
                   with co-inductive types) \\