The Coq Proof Assistant User's Guide. Version 6.2 (1998)