aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/omega
ModeNameSize
-rwxr-xr-xOmega.v2572logplain
-rw-r--r--OmegaSyntax.v1950logplain
-rw-r--r--Zcomplements.v7644logplain
-rw-r--r--Zlogarithm.v7812logplain
-rw-r--r--Zpower.v11431logplain
-rw-r--r--coq_omega.ml66221logplain
-rwxr-xr-xomega.ml23767logplain