Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | Omega.v | 2572 | logplain |
-rw-r--r-- | OmegaSyntax.v | 1950 | logplain |
-rw-r--r-- | Zcomplements.v | 7658 | logplain |
-rw-r--r-- | Zlogarithm.v | 7754 | logplain |
-rw-r--r-- | Zpower.v | 11418 | logplain |
-rw-r--r-- | coq_omega.ml | 66379 | logplain |
-rwxr-xr-x | omega.ml | 23767 | logplain |