Library Coq.omega.OmegaPlugin

Require ZArith_base.
Require OmegaLemmas.
Require PreOmega.

Declare ML Module "omega_plugin".