Library Coq.omega.OmegaTactic



Require ZArith_base.
Require OmegaLemmas.
Require PreOmega.