aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/tacred.mli
Commit message (Expand)AuthorAge
...
* Déplacement de fonctions de Reduction vers TacredGravatar herbelin2000-09-14
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* - états fabriqués avec -silentGravatar filliatr1999-12-13
* modifs pour premiere edition de liensGravatar filliatr1999-12-02