Library Coq.omega.Omega


Require Export ZArith_base.
Require Export OmegaLemmas.
Require Export PreOmega.
Require Export ZArith_hints.