| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | class.mli | 12 | logplain |
| -rwxr-xr-x | classops.ml | 10922 | logplain |
| -rw-r--r-- | classops.mli | 1937 | logplain |
| -rw-r--r-- | coercion.ml | 6771 | logplain |
| -rw-r--r-- | coercion.mli | 733 | logplain |
| -rw-r--r-- | evarconv.ml | 11558 | logplain |
| -rw-r--r-- | evarconv.mli | 567 | logplain |
| -rw-r--r-- | evarutil.ml | 15544 | logplain |
| -rw-r--r-- | evarutil.mli | 2056 | logplain |
| -rw-r--r-- | multcase.mli | 12 | logplain |
| -rw-r--r-- | pretype_errors.ml | 238 | logplain |
| -rw-r--r-- | pretype_errors.mli | 480 | logplain |
| -rw-r--r-- | pretyping.ml | 12246 | logplain |
| -rw-r--r-- | pretyping.mli | 2747 | logplain |
| -rw-r--r-- | rawterm.mli | 1886 | logplain |
| -rw-r--r-- | record.mli | 12 | logplain |
| -rwxr-xr-x | recordops.ml | 3082 | logplain |
| -rwxr-xr-x | recordops.mli | 1200 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |