The Coq Proof Assistant Reference Manual Version 5.10 (1995)

by C Cornes, J Courant, J C Filliâtre, G Huet, P Manouryand, C Paulin-Mohring, C Munoz, C Murthy, C Parent, A Saibi, B Werner