The Coq Proof Assistant
Reference Manual
Version 7.2
1
The Coq Development Team
LogiCal Project
V7.2,
ŠINRIA 1999-2001