From 61dc740ed1c3780cccaec00d059a28f0d31d0052 Mon Sep 17 00:00:00 2001
From: Stephane Glondu
Date: Mon, 4 Jun 2012 12:07:52 +0200
Subject: Imported Upstream version 8.4~gamma0+really8.4beta2
---
doc/stdlib/index-list.html.template | 36 +++++++++++++++++++++++-------------
1 file changed, 23 insertions(+), 13 deletions(-)
(limited to 'doc/stdlib/index-list.html.template')
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 35c13f3b..0ee101c8 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -1,17 +1,5 @@
-
-
-
-
-
-The Coq Standard Library
-
-
-
-
-The Coq Standard Library
+The Coq Standard Library
Here is a short description of the Coq standard library, which is
distributed with the system.
@@ -68,6 +56,7 @@ through the Require Import command.
theories/Logic/Epsilon.v
theories/Logic/IndefiniteDescription.v
theories/Logic/FunctionalExtensionality.v
+ theories/Logic/ExtensionalityFacts.v
Structures:
@@ -184,6 +173,8 @@ through the Require Import command.
theories/ZArith/Zpow_def.v
theories/ZArith/Zpow_alt.v
theories/ZArith/Zpower.v
+ theories/ZArith/ZOdiv_def.v
+ theories/ZArith/ZOdiv.v
theories/ZArith/Zdiv.v
theories/ZArith/Zquot.v
theories/ZArith/Zeuclid.v
@@ -414,6 +405,16 @@ through the Require Import command.
theories/Lists/ListTactics.v
+ Vectors:
+ Dependent datastructures storing their length
+
+
+ theories/Vectors/Fin.v
+ theories/Vectors/VectorDef.v
+ theories/Vectors/VectorSpec.v
+ (theories/Vectors/Vector.v)
+
+
Sorting:
Axiomatizations of sorts
@@ -454,7 +455,9 @@ through the Require Import command.
theories/MSets/MSetEqProperties.v
theories/MSets/MSetWeakList.v
theories/MSets/MSetList.v
+ theories/MSets/MSetGenTree.v
theories/MSets/MSetAVL.v
+ theories/MSets/MSetRBT.v
theories/MSets/MSetPositive.v
theories/MSets/MSetToFiniteSet.v
(theories/MSets/MSets.v)
@@ -576,4 +579,11 @@ through the Require Import command.
theories/Program/Combinators.v
+ Unicode:
+ Unicode-based notations
+
+
+ theories/Unicode/Utf8_core.v
+ theories/Unicode/Utf8.v
+
--
cgit v1.2.3