diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-11-11 15:30:11 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-11-11 15:30:11 +0000 |
commit | d3dba533cf8ac731e55ac60519a89d72d6f7f1a9 (patch) | |
tree | 5af77be2f89eed78e7e14e8efd86ed3e980f9129 /doc/stdlib | |
parent | ba6ec642e2554f5789bef601cb23209b7e93ab5c (diff) |
Typo + ajout Qcanon.v
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9366 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib')
-rw-r--r-- | doc/stdlib/index-list.html.template | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index 10744fe4f..f63b6cf47 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -135,7 +135,7 @@ through the <tt>Require Import</tt> command.</p> theories/ZArith/Int.v </dd> - <dt> <b>Reals</b>: + <dt> <b>QArith</b>: Rational numbers </dt> <dd> @@ -144,6 +144,7 @@ through the <tt>Require Import</tt> command.</p> theories/QArith/Qring.v (theories/QArith/QArith.v) theories/QArith/Qreals.v + theories/QArith/Qcanon.v </dd> <dt> <b>Reals</b>: |