From c18e2a18fc080ec982f74a6113e9af6c702ab2d1 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 19 Apr 2001 13:30:17 +0000
Subject: Changement de Zarith en ZArith

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8194 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Library.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/Library.tex')

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) \\
-- 
cgit v1.2.3

