aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/omega
ModeNameSize
-rwxr-xr-xOmega.v2982logplain
-rw-r--r--coq_omega.ml66232logplain
-rw-r--r--g_omega.ml41187logplain
-rwxr-xr-xomega.ml23844logplain