| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-03-02 | Grammar.cma with less deps (Glob_ops and Nameops) after moving minor code | Pierre Letouzey | |
| NB: new file miscprint.ml deserves to be part of printing.cma, but should be part of proofs.cma for the moment, due to use in logic.ml | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |