Commit message (Expand) | Author | Age | |
---|---|---|---|
* | added congruence improvement | 2006-09-19 | |
* | Messages de idtac et fail peuvent maintenant ĂȘtre des listes de string, int ... | 2006-01-21 | |
* | Changement des named_context | 2005-12-02 | |
* | Types inductifs parametriques | 2005-11-02 | |
* | new congruence | 2005-08-17 |