aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega
ModeNameSize
-rw-r--r--Omega.v2666logplain
-rw-r--r--OmegaLemmas.v10881logplain
-rw-r--r--OmegaPlugin.v572logplain
-rw-r--r--PreOmega.v17234logplain
-rw-r--r--coq_omega.ml65051logplain
-rw-r--r--g_omega.ml41886logplain
-rw-r--r--omega.ml26606logplain
-rw-r--r--omega_plugin.mllib41logplain