| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | declare.ml | 14869 | logplain |
| -rw-r--r-- | declare.mli | 4044 | logplain |
| -rw-r--r-- | declaremods.ml | 22668 | logplain |
| -rw-r--r-- | declaremods.mli | 2898 | logplain |
| -rw-r--r-- | doc.tex | 512 | logplain |
| -rw-r--r-- | global.ml | 3795 | logplain |
| -rw-r--r-- | global.mli | 3202 | logplain |
| -rw-r--r-- | goptions.ml | 10177 | logplain |
| -rw-r--r-- | goptions.mli | 5620 | logplain |
| -rw-r--r-- | impargs.ml | 11179 | logplain |
| -rw-r--r-- | impargs.mli | 2247 | logplain |
| -rw-r--r-- | lib.ml | 16238 | logplain |
| -rw-r--r-- | lib.mli | 5196 | logplain |
| -rw-r--r-- | libnames.ml | 5930 | logplain |
| -rw-r--r-- | libnames.mli | 3797 | logplain |
| -rw-r--r-- | libobject.ml | 5752 | logplain |
| -rw-r--r-- | libobject.mli | 4062 | logplain |
| -rw-r--r-- | library.ml | 20883 | logplain |
| -rw-r--r-- | library.mli | 3354 | logplain |
| -rw-r--r-- | nameops.ml | 4333 | logplain |
| -rw-r--r-- | nameops.mli | 1586 | logplain |
| -rwxr-xr-x | nametab.ml | 12937 | logplain |
| -rwxr-xr-x | nametab.mli | 5418 | logplain |
| -rw-r--r-- | states.ml | 1166 | logplain |
| -rw-r--r-- | states.mli | 1160 | logplain |
| -rw-r--r-- | summary.ml | 2540 | logplain |
| -rw-r--r-- | summary.mli | 1225 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |