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