The Coq proof assistant version 5.6 user's guide (1991)

by G Dowek, A Felty, H Herbelin, G Huet, C Paulin-Mohring, B Werner