The Coq Proof Assistent Reference Manual, Version 6.3.1, Coq Project (1999)

by E Gim'enez Filliatre, H Herbelin, G Huet, H Laulh`ere, C Munoz, C Murthy, C Parent-Vigouroux, P Loiseleur, C Paulin, A Saibi, B Werner