aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega
ModeNameSize
-rw-r--r--Omega.v2706logplain
-rw-r--r--OmegaLemmas.v8332logplain
-rw-r--r--OmegaPlugin.v814logplain
-rw-r--r--OmegaTactic.v814logplain
-rw-r--r--PreOmega.v16773logplain
-rw-r--r--coq_omega.ml71653logplain
-rw-r--r--g_omega.ml42259logplain
-rw-r--r--omega.ml26238logplain
-rw-r--r--omega_plugin.mlpack24logplain