Library Coq.omega.OmegaPlugin



Require ZArith_base.
Require OmegaLemmas.
Require PreOmega.