aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/omega
ModeNameSize
-rw-r--r--Omega.v2606logplain
-rw-r--r--OmegaLemmas.v9874logplain
-rw-r--r--coq_omega.ml63644logplain
-rw-r--r--g_omega.ml41194logplain
-rw-r--r--omega.ml26606logplain