| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coqlib.ml | 10987 | logplain |
| -rw-r--r-- | coqlib.mli | 10617 | logplain |
| -rw-r--r-- | doc.tex | 512 | logplain |
| -rw-r--r-- | dune | 184 | logplain |
| -rw-r--r-- | global.ml | 8562 | logplain |
| -rw-r--r-- | global.mli | 6879 | logplain |
| -rw-r--r-- | globnames.ml | 4374 | logplain |
| -rw-r--r-- | globnames.mli | 2740 | logplain |
| -rw-r--r-- | goptions.ml | 17295 | logplain |
| -rw-r--r-- | goptions.mli | 8286 | logplain |
| -rw-r--r-- | lib.ml | 19037 | logplain |
| -rw-r--r-- | lib.mli | 6633 | logplain |
| -rw-r--r-- | libnames.ml | 4802 | logplain |
| -rw-r--r-- | libnames.mli | 3548 | logplain |
| -rw-r--r-- | libobject.ml | 6470 | logplain |
| -rw-r--r-- | libobject.mli | 7360 | logplain |
| -rw-r--r-- | library.mllib | 72 | logplain |
| -rw-r--r-- | nametab.ml | 18611 | logplain |
| -rw-r--r-- | nametab.mli | 8893 | logplain |
| -rw-r--r-- | summary.ml | 5278 | logplain |
| -rw-r--r-- | summary.mli | 3841 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |