The Coq Proof Assistant User's Guide, version 6.1", INRIA Rocquencourt and CNRS-ENS (1996)

by B Barras, S Boutin, C Cornes, J Courant, J C Filliatre, E Gim'enes, H Herbelin, G Huet, P Manoury, C Munoz, C Murthy, C Parent, C Paulin-Mohring, A Saibi, B Werner