From d3dba533cf8ac731e55ac60519a89d72d6f7f1a9 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 11 Nov 2006 15:30:11 +0000
Subject: Typo + ajout Qcanon.v

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9366 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/stdlib/index-list.html.template | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 10744fe4fe..f63b6cf47b 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>:
-- 
cgit v1.2.3