Library Coq.romega.ROmega

Require Import ReflOmegaCore.
Require Export Setoid.
Require Export PreOmega.
Require Export ZArith_base.
Require Import OmegaPlugin.
Declare ML Module "romega_plugin".