Chapter 8: Detailed examples of tactics

This chapter presents detailed examples of certain tactics, to illustrate their behavior.

Retrieved by Memoweb from http://pauillac.inria.fr/coq/doc/node.1.3.html at 8/10/98