doc/main.html


1
2
3
4
5
6
7
8
9
10
11
12
13

<HTML>

<HEAD>

<TITLE>The Coq Proof Assistant Reference Manual</TITLE>

</HEAD>

<FRAMESET ROWS=90%,*><FRAME SRC="cover.html" NAME="UP">
<FRAME SRC="main-0.html">
</FRAMESET>

</HTML>