Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Essai de prise en compte de delta dans unify_0 (même sur termes non clos). | herbelin | 2008-02-13 | |
* | Mise en place d'une toute petite amélioration de l'unification de | herbelin | 2008-02-07 | |
* | Ajout de eelim, ecase, edestruct et einduction (expérimental). | herbelin | 2007-10-03 | |
* | Contrôle de la compatibilité de apply via une information dans les | herbelin | 2007-05-28 | |
* | ?(mod_delta=true) parameter added to each unification function. | sacerdot | 2004-09-27 | |
* | restructuration des printers: proofs passe avant parsing | barras | 2004-09-17 | |
* | hiding the meta_map in evar_defs | barras | 2004-09-15 | |
* | inclusion de meta_map dans evar_defs | barras | 2004-09-12 | |
* | unification encore... | barras | 2004-09-08 | |
* | deuxieme vague de modifs: evar_defs fonctionnel | barras | 2004-09-07 | |
* | deplacement de clenv vers pretyping | barras | 2004-09-03 | |
* | premiere reorganisation de l\'unification | barras | 2004-09-03 |