Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Essai de prise en compte de delta dans unify_0 (même sur termes non clos). | 2008-02-13 | ||
* | Ajout de eelim, ecase, edestruct et einduction (expérimental). | 2007-10-03 | ||
* | Correction d'un bug dans l'affichage du message d'erreur real_clean | 2007-05-29 | ||
* | - Propagation des evars non résolues vers les with_bindings; permet par exemple | 2007-05-20 | ||
* | induction now admits multiple induction arguments. The principle must | 2006-02-10 | ||
* | Changement des named_context | 2005-12-02 | ||
* | COMMITED BYTECODE COMPILER | 2004-10-20 | ||
* | restructuration des printers: proofs passe avant parsing | 2004-09-17 | ||
* | inclusion de meta_map dans evar_defs | 2004-09-12 | ||
* | simplification de clenv | 2004-09-10 | ||
* | unification encore... | 2004-09-08 | ||
* | deuxieme vague de modifs: evar_defs fonctionnel | 2004-09-07 | ||
* | premiere reorganisation de l\'unification | 2004-09-03 |