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 ++++++++++++++----------------------- 1 file changed, 15 insertions(+), 24 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 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
-- cgit v1.2.3