Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Modification pour faire compiler pretyping.ml qui maintenant compile | herbelin | 1999-11-26 | |
* | Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations | filliatr | 1999-11-24 | |
* | module Wcclausenv | filliatr | 1999-11-22 | |
* | module Tactics (debut) | filliatr | 1999-11-22 | |
* | module Pattern, Wcclausenv (interface) et Tacticals | filliatr | 1999-11-19 | |
* | ensembles de contraintes d'univers | filliatr | 1999-09-25 | |
* | suppression champs inutiles dans constantes et inductifs; verification defini... | filliatr | 1999-08-27 | |
* | environnement sur | filliatr | 1999-08-26 | |
* | modules Instantiate, Constant et Inductive | filliatr | 1999-08-25 |