diff options
Diffstat (limited to 'doc/RefMan-lib.tex')
| -rwxr-xr-x | doc/RefMan-lib.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/RefMan-lib.tex b/doc/RefMan-lib.tex index 2ce2e34e89..d0c16e3c2c 100755 --- a/doc/RefMan-lib.tex +++ b/doc/RefMan-lib.tex @@ -790,7 +790,7 @@ subdirectories: \begin{tabular}{lp{12cm}} {\bf Logic} & Classical logic and dependent equality \\ {\bf Arith} & Basic Peano arithmetic \\ - {\bf Zarith} & Basic integer arithmetic \\ + {\bf ZArith} & Basic integer arithmetic \\ {\bf Bool} & Booleans (basic functions and results) \\ {\bf Lists} & Monomorphic and polymorphic lists (basic functions and results), Streams (infinite sequences defined with co-inductive @@ -801,7 +801,7 @@ subdirectories: structure of map (trees indexed by binary integers).\\ {\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 Relations} & Relations (definitions and basic results). \\ {\bf Wellfounded} & Well-founded relations (basic results). \\ |