| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coqlib.ml | 10872 | logplain |
| -rw-r--r-- | coqlib.mli | 10575 | logplain |
| -rw-r--r-- | declaremods.ml | 35453 | logplain |
| -rw-r--r-- | declaremods.mli | 4506 | logplain |
| -rw-r--r-- | doc.tex | 512 | logplain |
| -rw-r--r-- | dune | 174 | logplain |
| -rw-r--r-- | global.ml | 7903 | logplain |
| -rw-r--r-- | global.mli | 6351 | logplain |
| -rw-r--r-- | globnames.ml | 4587 | logplain |
| -rw-r--r-- | globnames.mli | 2472 | logplain |
| -rw-r--r-- | goptions.ml | 14334 | logplain |
| -rw-r--r-- | goptions.mli | 7215 | logplain |
| -rw-r--r-- | lib.ml | 23296 | logplain |
| -rw-r--r-- | lib.mli | 7325 | logplain |
| -rw-r--r-- | libnames.ml | 4791 | logplain |
| -rw-r--r-- | libnames.mli | 3643 | logplain |
| -rw-r--r-- | libobject.ml | 7103 | logplain |
| -rw-r--r-- | libobject.mli | 6854 | logplain |
| -rw-r--r-- | library.ml | 23721 | logplain |
| -rw-r--r-- | library.mli | 3036 | logplain |
| -rw-r--r-- | library.mllib | 107 | logplain |
| -rw-r--r-- | nametab.ml | 17949 | logplain |
| -rw-r--r-- | nametab.mli | 8708 | logplain |
| -rw-r--r-- | states.ml | 1524 | logplain |
| -rw-r--r-- | states.mli | 1498 | logplain |
| -rw-r--r-- | summary.ml | 5585 | logplain |
| -rw-r--r-- | summary.mli | 3836 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |