Part: II The proof engine
Part: II
The proof engine
Chapter 5: Vernacular commands
Chapter 6: Proof handling
Chapter 7: Tactics
Chapter 8: Detailed examples of tactics
Retrieved by Memoweb from
http://pauillac.inria.fr/coq/doc/node.1.html
at 8/10/98