Module AAC_rewrite


module AAC_rewrite: sig .. end
Definition of the tactics, and corresponding Coq grammar entries.