aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega
ModeNameSize
-rw-r--r--Omega.v2654logplain
-rw-r--r--OmegaLemmas.v10848logplain
-rw-r--r--OmegaPlugin.v560logplain
-rw-r--r--PreOmega.v17130logplain
-rw-r--r--coq_omega.ml64521logplain
-rw-r--r--g_omega.ml41868logplain
-rw-r--r--omega.ml26472logplain
-rw-r--r--omega_plugin.mllib41logplain
-rw-r--r--vo.itarget51logplain