aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>2011-07-04 12:59:12 +0000
committerGravatar letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>2011-07-04 12:59:12 +0000
commitb639dd55cc3bc6ef4cf77a549786209e094830a2 (patch)
treeefec7c483f8867c8296cfeae8cb943aef2fc6803 /doc
parentf0ec734ee1099bd7548788a20f0c660551601674 (diff)
doc/stdlib: Update the list of ZArith files
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14255 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
-rw-r--r--doc/stdlib/index-list.html.template6
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 2c46ba047..35c13f3b7 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -180,24 +180,20 @@ through the <tt>Require Import</tt> command.</p>
theories/ZArith/Zhints.v
(theories/ZArith/ZArith_base.v)
theories/ZArith/Zcomplements.v
- theories/ZArith/Zsqrt_def.v
theories/ZArith/Zsqrt_compat.v
theories/ZArith/Zpow_def.v
+ theories/ZArith/Zpow_alt.v
theories/ZArith/Zpower.v
- theories/ZArith/Zdiv_def.v
theories/ZArith/Zdiv.v
theories/ZArith/Zquot.v
theories/ZArith/Zeuclid.v
- theories/ZArith/Zlog_def.v
theories/ZArith/Zlogarithm.v
(theories/ZArith/ZArith.v)
- theories/ZArith/Zgcd_def.v
theories/ZArith/Zgcd_alt.v
theories/ZArith/Zwf.v
theories/ZArith/Znumtheory.v
theories/ZArith/Int.v
theories/ZArith/Zpow_facts.v
- theories/ZArith/Zdigits_def.v
theories/ZArith/Zdigits.v
</dd>