Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | maj | 2006-02-08 | ||
* | Julien: | 2006-02-08 | ||
* | maj | 2006-02-07 | ||
* | maj | 2006-02-04 | ||
* | maj | 2006-02-03 | ||
* | maj | 2006-02-01 | ||
* | New version of functional induction / inversion. By Julien Forest, | 2006-02-01 | ||
* | maj | 2006-01-31 | ||
* | maj | 2006-01-30 | ||
* | maj | 2006-01-28 | ||
* | maj | 2006-01-24 | ||
* | maj | 2006-01-21 | ||
* | maj | 2006-01-16 | ||
* | dans la liste des cmo pour dev/printers.cma, manquait proofs/tacexpr.cmo | 2006-01-16 | ||
* | maj | 2006-01-12 | ||
* | maj | 2006-01-11 | ||
* | Restructuration et simplification des fonctions d'affichage, de détypage | 2006-01-11 | ||
* | maj | 2006-01-08 | ||
* | maj | 2006-01-07 | ||
* | maj | 2006-01-04 | ||
* | maj | 2005-12-31 | ||
* | maj | 2005-12-28 | ||
* | maj | 2005-12-27 | ||
* | maj | 2005-12-26 | ||
* | Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*... | 2005-12-26 | ||
* | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | 2005-12-26 | ||
* | maj | 2005-12-25 | ||
* | maj | 2005-12-21 | ||
* | maj | 2005-12-20 | ||
* | maj | 2005-12-17 | ||
* | Changement des named_context | 2005-12-02 | ||
* | maj | 2005-11-28 | ||
* | maj | 2005-11-18 | ||
* | maj | 2005-11-17 | ||
* | A la demande de Julien Forest | 2005-11-17 | ||
* | maj | 2005-11-08 | ||
* | maj | 2005-11-07 | ||
* | Modifications in the .depend files for the contrib/recdef directory | 2005-11-07 | ||
* | Adds tools to help in defining new general recursive functions | 2005-11-07 | ||
* | maj | 2005-11-02 | ||
* | maj | 2005-10-27 | ||
* | maj | 2005-09-09 | ||
* | maj | 2005-08-17 | ||
* | new congruence | 2005-08-17 | ||
* | maj | 2005-08-02 | ||
* | maj | 2005-08-02 | ||
* | maj | 2005-08-02 | ||
* | maj | 2005-07-15 | ||
* | Subtac: traitement correct des existentielles et de la récursion. | 2005-07-15 | ||
* | reflexive tauto | 2005-07-15 |