| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-28 | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey |
| 2009-04-28 | Backporting 12112 from v8.2 branch to trunk (fixing documentation bugs | herbelin |
| 2008-07-15 | Autour du parsing: | herbelin |
| 2008-03-30 | Modifications diverses et variées : | herbelin |
| 2008-03-23 | Nettoyage Wf.v et unification (suite remarques faites sur cocorico) | herbelin |
| 2008-01-23 | Changing R to a local definition so that it isn't exported. | roconnor |
| 2007-01-23 | Derivation of (exists x : A, P x) -> {x : A | P x} for decidable P | emakarov |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |