Chapter 10: Writing ad-hoc Tactics in Coq
Chapter 10: Writing ad-hoc Tactics in Coq
10.1 Introduction
10.2 Tactic Macros
10.3 An Overview of
Coq
's Architecture
10.4 Some Useful Tools for Writing Tactics
10.5 A Complete Example
10.6 Testing and Debugging your Tactic
Retrieved by Memoweb from
http://pauillac.inria.fr/coq/doc/node.2.1.html
at 8/10/98