From 55ce117e8083477593cf1ff2e51a3641c7973830 Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Tue, 13 Feb 2007 13:48:12 +0000 Subject: Imported Upstream version 8.1+dfsg --- doc/refman/cover.html | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 doc/refman/cover.html (limited to 'doc/refman/cover.html') diff --git a/doc/refman/cover.html b/doc/refman/cover.html deleted file mode 100644 index a3ec2516..00000000 --- a/doc/refman/cover.html +++ /dev/null @@ -1,37 +0,0 @@ - - - -Cover Page - - - - -
- - - 

-The Coq Proof Assistant
- Reference Manual
 - -


Version 8.1 -1





-The Coq Development Team
LogiCal Project


-


-





- -
-V7.x © INRIA 1999-2004
-V8.0 © INRIA 2004-2006
-V8.1 © INRIA 2006
-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