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) \\