Commit message (Expand) | Author | Age | |
---|---|---|---|
* | petits changements cosmetiques sur les tactiques | 2002-02-15 | |
* | GROS COMMIT: | 2001-11-05 | |
* | entetes | 2001-03-15 | |
* | Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)... | 2001-02-14 | |
* | EqDecide | 2001-02-06 |