From df7acfad0ce0270b62644a5e9f8709ed0e7936e6 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 2 Nov 2010 14:44:08 +0000
Subject: Move stuff about positive into a distinct PArith subdir

 Beware! after this, a ./configure must be done. It might also
 be a good idea to chase any phantom .vo remaining after a make clean

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13601 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-lib.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/refman')

diff --git a/doc/refman/RefMan-lib.tex b/doc/refman/RefMan-lib.tex
index 8847d058af..36549b7a01 100644
--- a/doc/refman/RefMan-lib.tex
+++ b/doc/refman/RefMan-lib.tex
@@ -809,7 +809,8 @@ subdirectories:
 \begin{tabular}{lp{12cm}}
   {\bf Logic}   & Classical logic and dependent equality \\
   {\bf Arith}   & Basic Peano arithmetic \\
-  {\bf NArith}  & Basic positive integer arithmetic \\
+  {\bf PArith}  & Basic positive integer arithmetic \\
+  {\bf NArith}  & Basic binary natural number arithmetic \\
   {\bf ZArith}  & Basic relative integer arithmetic \\
   {\bf Numbers} & Various approaches to natural, integer and cyclic numbers (currently axiomatically and on top of 2$^{31}$ binary words) \\
   {\bf Bool}    & Booleans (basic functions and results) \\
-- 
cgit v1.2.3