The Coq Proof Assistant Reference Manual — Version 8.3. Available at http://coq.inria. fr/refman (2010)

by INRIA