aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/index.html
blob: 9b5250abcb234a95952cd6536e516e2215197577 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
<HTML>

<HEAD>

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

</HEAD>

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

</HTML>