/plugins/omega/

• ../
• Omega.v
• OmegaLemmas.v
• OmegaPlugin.v
• PreOmega.v
• coq_omega.ml
• g_omega.ml4
• omega.ml
• omega_plugin.mllib
• vo.itarget