Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout Simpl et Change sur des sous-termes | herbelin | 2002-12-09 |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
* | Modules dans COQ\!\!\!\! | coq | 2002-08-02 |
* | Protection des tactiques contre l'utilisation sans le bon contexte de thories | herbelin | 2002-06-03 |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |
* | un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F... | filliatr | 2002-04-19 |
* | GROS COMMIT: | barras | 2001-11-05 |
* | Suppression des arguments sur les constantes, inductifs et constructeurs | barras | 2001-10-09 |
* | integration de field a fourier | mayero | 2001-05-07 |
* | Ajout Fourier | mayero | 2001-04-20 |