Part: III User extensions
Part: III
User extensions
Chapter 9: Syntax extensions
Chapter 10: Writing ad-hoc Tactics in Coq
Retrieved by Memoweb from
http://pauillac.inria.fr/coq/doc/node.2.html
at 8/10/98