Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ajout de whd_state dans l'interface | 2003-01-22 | |
* | export de la fonction Reductionops.find_conclusion pour l'extraction | 2002-04-08 | |
* | substitution et pattern modulo let | 2002-02-11 | |
* | nouvel algo de conversion plus uniforme | 2001-11-29 | |
* | corrections mineures suite au commit de restructuration du noyau | 2001-11-06 | |
* | Suppression des local_constraints, des ctxtty et du focus. | 2001-11-06 | |
* | GROS COMMIT: | 2001-11-05 |