/plugins/omega/

• ../
• coq_omega.ml
• coq_omega.mli
• dune
• g_omega.mlg
• omega.ml
• omega_plugin.mlpack