diff options
author | Samuel Mimram <smimram@debian.org> | 2007-08-18 20:34:57 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2007-08-18 20:34:57 +0000 |
commit | be2a2fda89bba47d5342b7aebc10efd97f1d68b9 (patch) | |
tree | 45a70ccd12dc139a53b49daba9c9821ffe2fd035 /doc/stdlib/index-list.html.template | |
parent | 763b05d3e66a0c0c49bad97434d891d22c1054dc (diff) | |
parent | 72b9a7df489ea47b3e5470741fd39f6100d31676 (diff) |
Merge commit 'upstream/8.1.pl1+dfsg'
Diffstat (limited to 'doc/stdlib/index-list.html.template')
-rw-r--r-- | doc/stdlib/index-list.html.template | 15 |
1 files changed, 12 insertions, 3 deletions
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 @@ -<html> +<!DOCTYPE html + PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> + +<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> -<link rel="stylesheet" href="coqdoc.css" type="text/css"> -<title>The Coq Standard Library +<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-15"/> +<link rel="stylesheet" href="css/context.css" type="text/css"> +<title>The Coq Standard Library</title> </head> <body> @@ -60,6 +65,7 @@ through the <tt>Require Import</tt> command.</p> theories/Logic/Hurkens.v theories/Logic/ProofIrrelevance.v theories/Logic/ProofIrrelevanceFacts.v + theories/Logic/ConstructiveEpsilon.v </dd> <dt> <b>Arith</b>: @@ -203,6 +209,8 @@ through the <tt>Require Import</tt> command.</p> 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) </dd> @@ -289,6 +297,7 @@ through the <tt>Require Import</tt> command.</p> theories/Lists/SetoidList.v theories/Lists/Streams.v theories/Lists/TheoryList.v + theories/Lists/ListTactics.v </dd> <dt> <b>FSets</b>: |