et al. The Coq Proof assistant user's guide -- Version V5.10 (1995)

by C Cornes