From 3e96002677226c0cdaa8f355938a76cfb37a722a Mon Sep 17 00:00:00 2001
From: Stephane Glondu
Date: Thu, 14 Oct 2010 17:51:11 +0200
Subject: Imported Upstream version 8.3
---
doc/stdlib/index-list.html.template | 39 ++++++++++++++-----------------------
doc/stdlib/index-trailer.html | 2 --
2 files changed, 15 insertions(+), 26 deletions(-)
delete mode 100644 doc/stdlib/index-trailer.html
(limited to 'doc/stdlib')
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 7a24846b..7ee85fe8 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.
@@ -210,7 +198,9 @@ through the Require Import command.
Numbers:
An experimental modular architecture for arithmetic
- Prelude:
+
+
+ - Prelude:
-
theories/Numbers/NumPrelude.v
theories/Numbers/BigNumPrelude.v
@@ -219,6 +209,7 @@ through the Require Import command.
NatInt:
Abstract mixed natural/integer/cyclic arithmetic
+
theories/Numbers/NatInt/NZAdd.v
theories/Numbers/NatInt/NZAddOrder.v
@@ -231,10 +222,10 @@ through the Require Import command.
theories/Numbers/NatInt/NZDomain.v
theories/Numbers/NatInt/NZProperties.v
-
- Cyclic:
+ Cyclic:
Abstract and 31-bits-based cyclic arithmetic
+
theories/Numbers/Cyclic/Abstract/CyclicAxioms.v
theories/Numbers/Cyclic/Abstract/NZCyclic.v
@@ -253,10 +244,10 @@ through the Require Import command.
theories/Numbers/Cyclic/Int31/Int31.v
theories/Numbers/Cyclic/ZModulo/ZModulo.v
-
- Natural:
+ Natural:
Abstract and 31-bits-words-based natural arithmetic
+
theories/Numbers/Natural/Abstract/NAdd.v
theories/Numbers/Natural/Abstract/NAddOrder.v
@@ -279,10 +270,10 @@ through the Require Import command.
theories/Numbers/Natural/BigN/NMake.v
theories/Numbers/Natural/BigN/NMake_gen.v
-
Integer:
Abstract and concrete (especially 31-bits-words-based) integer arithmetic
+
theories/Numbers/Integer/Abstract/ZAdd.v
theories/Numbers/Integer/Abstract/ZAddOrder.v
@@ -303,17 +294,17 @@ through the Require Import command.
theories/Numbers/Integer/BigZ/BigZ.v
theories/Numbers/Integer/BigZ/ZMake.v
-
Rational:
Abstract and 31-bits-words-based rational arithmetic
+
theories/Numbers/Rational/SpecViaQ/QSig.v
theories/Numbers/Rational/BigQ/BigQ.v
theories/Numbers/Rational/BigQ/QMake.v
-
-
+
+
Relations:
Relations (definitions and basic results)
@@ -353,7 +344,7 @@ through the Require Import command.
theories/Sets/Uniset.v
- Classes:
+ Classes:
theories/Classes/Init.v
theories/Classes/RelationClasses.v
@@ -368,7 +359,7 @@ through the Require Import command.
theories/Classes/RelationPairs.v
- Setoids:
+ Setoids:
theories/Setoids/Setoid.v
diff --git a/doc/stdlib/index-trailer.html b/doc/stdlib/index-trailer.html
deleted file mode 100644
index 308b1d01..00000000
--- a/doc/stdlib/index-trailer.html
+++ /dev/null
@@ -1,2 +0,0 @@
-
-
--
cgit v1.2.3