1 files changed, 39 insertions, 0 deletions
diff --git a/doc/cover.html b/doc/cover.html
new file mode 100644
index 0000000000..cb87ed106d
--- /dev/null
+++ b/doc/cover.html
@@ -0,0 +1,39 @@
+<HTML>
+
+<HEAD>
+
+<TITLE>Cover Page</TITLE>
+
+</HEAD>
+
+<BODY>
+
+
+
+
+
+<DIV ALIGN=center>
+<FONT SIZE=7>
+</FONT><FONT SIZE=7><B>
+The Coq Proof Assistant<BR><BR>
+ Reference Manual<BR></B></FONT><FONT SIZE=7>
+</FONT>
+<BR><BR><FONT SIZE=5><B><BR></B></FONT><FONT SIZE=5><B>Version 7.0</B></FONT><FONT SIZE=5><B>
+</B></FONT><A NAME="text1"></A><A HREF="node.8.html#note1"><SUP><FONT SIZE=2>1</FONT></SUP></A><FONT SIZE=5><B><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR>
+</B></FONT><FONT SIZE=5><B>The Coq Development Team</B></FONT><FONT SIZE=5><B><BR></B></FONT><FONT SIZE=5><B>Coq Development Project</B></FONT><FONT SIZE=5><B><BR><BR><BR>
+</B></FONT></DIV><BR>
+<BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR><BR>
+
+<DIV ALIGN=left>
+<FONT SIZE=4>V7.0,
+</FONT><BR><FONT SIZE=4>ŠINRIA 1999-2001</FONT><BR></DIV>
+<BR>
+
+
+
+
+</BODY>
+
+</HTML></BODY>
+
+</HTML>
+\ No newline at end of file