| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-06-10 | - Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs) | herbelin |
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-04-12 | Adding 'at' to rewrite, as it is already implemented in setoid_rewrite. | msozeau |
| 2008-04-01 | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin |
| 2008-03-17 | * Factorizing code : context_chop was used in several files (even as chop_con... | vsiles |
| 2007-12-18 | Nettoyage de code en vue de la release. Plus de Warning: Unused | aspiwack |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-10-05 | Added the automatic generation of the boolean equality if possible and the | vsiles |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |