The Coq Proof Assistant
Reference Manual
Version 8.0
1
The Coq Development Team
LogiCal Project
V8.0,
ŠINRIA 1999-2003