3
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
4
<title>Reference Manual | The Coq Proof Assistant</title>
6
<link rel="stylesheet" type="text/css" href="style.css">
7
<link rel="stylesheet" type="text/css" href="coqdoc.css">
13
\htmlhead{\begin{rawhtml}
18
<h1>Coq Reference Manual</h1>
25
\htmlfoot{\begin{rawhtml}
31
<li><a href="index.html">Cover</a></li>
32
<li><a href="toc.html">Table of contents</a></li>
33
<li><a href="general-index.html">General index</a></li>
34
<li><a href="command-index.html">Commands index</a></li>
35
<li><a href="tactic-index.html">Tactics index</a></li>
36
<li><a href="error-index.html">Errors index</a></li>