From 3e96002677226c0cdaa8f355938a76cfb37a722a Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 14 Oct 2010 17:51:11 +0200 Subject: Imported Upstream version 8.3 --- doc/common/styles/html/coqremote/cover.html | 131 ++++++++++++++++++++++++++++ 1 file changed, 131 insertions(+) create mode 100644 doc/common/styles/html/coqremote/cover.html (limited to 'doc/common/styles/html/coqremote/cover.html') diff --git a/doc/common/styles/html/coqremote/cover.html b/doc/common/styles/html/coqremote/cover.html new file mode 100644 index 00000000..c3091b4e --- /dev/null +++ b/doc/common/styles/html/coqremote/cover.html @@ -0,0 +1,131 @@ + + + + + + +Reference Manual | The Coq Proof Assistant + + + + + + + + + + + + + + + + +
+ + + + +
+ +



+

Reference Manual

+ +

+ Version 8.31 + +





+The Coq Development Team +





+

+ +
+
    +
  • V7.x © INRIA 1999-2004
    • +
  • V8.x © INRIA 2004-2010
    • +
+ +

This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at http://www.opencontent.org/openpub). Options A and B are not elected.

+
+
+ +
+
+
+
1
+
This research was partly supported by IST working group ``Types''
+
+
+ +
+ +
+ +
+ +
+ + + + + + + -- cgit v1.2.3