The Coq proof assistant, reference manual, version 7.0 (2001)

by C Cornes, J Courant, J-C Filliatre, G Huet, P Manoury, C Munoz, C Murthy, A Saibi Christine, B Werner