Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Un type "standardisé" pour new_hyp | herbelin | 2003-01-25 | |
* | Ajout Simpl et Change sur des sous-termes | herbelin | 2002-12-09 | |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 | |
* | Ajout d'un suffixe "as [ names ]" pour nommer manuellement les | herbelin | 2002-10-21 | |
* | NewDestruct/NewInduction acceptent l'option "using" | herbelin | 2002-10-21 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 | |
* | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | herbelin | 2001-06-25 | |
* | entetes | filliatr | 2001-03-15 | |
* | Ajout du langage de tactiques | delahaye | 2000-05-03 | |
* | Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations | filliatr | 1999-11-24 | |
* | modules Indrec, Tacentries, Hiddentac | filliatr | 1999-11-23 |