The Coq proof assistant user's guide. Version 5.8 (1993)

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