aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega
ModeNameSize
-rw-r--r--Omega.v2556logplain
-rw-r--r--OmegaLemmas.v8175logplain
-rw-r--r--OmegaPlugin.v664logplain
-rw-r--r--OmegaTactic.v664logplain
-rw-r--r--PreOmega.v15716logplain
-rw-r--r--coq_omega.ml68868logplain
-rw-r--r--g_omega.ml42116logplain
-rw-r--r--omega.ml26258logplain
-rw-r--r--omega_plugin.mllib41logplain
-rw-r--r--vo.itarget66logplain