From 72b9a7df489ea47b3e5470741fd39f6100d31676 Mon Sep 17 00:00:00 2001
From: Samuel Mimram
Date: Sat, 18 Aug 2007 20:34:57 +0000
Subject: Imported Upstream version 8.1.pl1+dfsg
---
doc/stdlib/index-list.html.template | 15 ++++++++++++---
1 file changed, 12 insertions(+), 3 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 f63b6cf4..81ab034b 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -1,8 +1,13 @@
-
+
+
+
-
-The Coq Standard Library
+
+
+The Coq Standard Library
@@ -60,6 +65,7 @@ through the Require Import command.
theories/Logic/Hurkens.v
theories/Logic/ProofIrrelevance.v
theories/Logic/ProofIrrelevanceFacts.v
+ theories/Logic/ConstructiveEpsilon.v
Arith:
@@ -203,6 +209,8 @@ through the Require Import command.
theories/Reals/SeqProp.v
theories/Reals/SeqSeries.v
theories/Reals/Sqrt_reg.v
+ theories/Reals/LegacyRfield.v
+ theories/Reals/Rpow_def.v
(theories/Reals/Reals.v)
@@ -289,6 +297,7 @@ through the Require Import command.
theories/Lists/SetoidList.v
theories/Lists/Streams.v
theories/Lists/TheoryList.v
+ theories/Lists/ListTactics.v
FSets:
--
cgit v1.2.3