Commit message (Expand) | Author | Age | |
---|---|---|---|
* | + Adding an error message when the function cannot be defined | 2006-02-03 | |
* | Réorganisation de la structure interne des types de déclarations (decl_kinds) | 2006-01-28 | |
* | Messages de idtac et fail peuvent maintenant être des listes de string, int ... | 2006-01-21 | |
* | Recursive Definition now supports functions with more than one argument. | 2006-01-18 | |
* | Changing well founded induction to fix on accessibility proof in order | 2006-01-12 | |
* | removes several warnings in contrib/interface | 2006-01-11 | |
* | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | 2005-12-26 | |
* | Changement des named_context | 2005-12-02 | |
* | avoids warnings about unused variables | 2005-11-14 | |
* | Adds tools to help in defining new general recursive functions | 2005-11-07 |