aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/unification.mli
Commit message (Expand)AuthorAge
* Ajout de eelim, ecase, edestruct et einduction (expérimental).Gravatar herbelin2007-10-03
* Contrôle de la compatibilité de apply via une information dans lesGravatar herbelin2007-05-28
* ?(mod_delta=true) parameter added to each unification function.Gravatar sacerdot2004-09-27
* restructuration des printers: proofs passe avant parsingGravatar barras2004-09-17
* hiding the meta_map in evar_defsGravatar barras2004-09-15
* inclusion de meta_map dans evar_defsGravatar barras2004-09-12
* unification encore...Gravatar barras2004-09-08
* deuxieme vague de modifs: evar_defs fonctionnelGravatar barras2004-09-07
* deplacement de clenv vers pretypingGravatar barras2004-09-03
* premiere reorganisation de l\'unificationGravatar barras2004-09-03