Library Coq.omega.OmegaPlugin