aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/reductionops.mli
Commit message (Expand)AuthorAge
* export de la fonction Reductionops.find_conclusion pour l'extractionGravatar letouzey2002-04-08
* substitution et pattern modulo letGravatar barras2002-02-11
* nouvel algo de conversion plus uniformeGravatar barras2001-11-29
* corrections mineures suite au commit de restructuration du noyauGravatar barras2001-11-06
* Suppression des local_constraints, des ctxtty et du focus.Gravatar clrenard2001-11-06
* GROS COMMIT:Gravatar barras2001-11-05