The Coq proof assistant reference manual, version 5.10 (1995)

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