aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/rtauto
Commit message (Expand)AuthorAge
* Remplacement de la définition de Pind et Prec par une définitionGravatar herbelin2006-12-28
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Replacing the old version of "functional induction" with the new one. Gravatar jforest2006-05-31
* Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...Gravatar herbelin2005-12-26
* Changement des named_contextGravatar gregoire2005-12-02
* new congruenceGravatar corbinea2005-08-17
* reflexive tautoGravatar corbinea2005-07-15