aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
2005-11-18majcoq
2005-11-17majcoq
2005-11-17A la demande de Julien Forestletouzey
2005-11-08majcoq
2005-11-07majcoq
2005-11-07Modifications in the .depend files for the contrib/recdef directorybertot
2005-11-07Adds tools to help in defining new general recursive functionsbertot
2005-11-02majcoq
2005-10-27majcoq
2005-09-09majcoq
2005-08-17majcoq
2005-08-17new congruencecorbinea
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-07-15majcoq
2005-07-15Subtac: traitement correct des existentielles et de la récursion.coq
2005-07-15reflexive tautocorbinea
2005-07-14majcoq
2005-07-13majcoq
2005-07-13majcoq
2005-06-24majcoq
2005-06-15majcoq
2005-06-09majcoq
2005-06-07majcoq
2005-06-05majcoq
2005-05-25majcoq
2005-05-25Added subtac contrib.coq
2005-05-24majcoq
2005-05-24dp: ajout du prouveur Zenoncoq
2005-05-20majcoq
2005-05-20New command: "Print Ltac qualid" to print user defined tactics.sacerdot
2005-05-19majcoq
2005-05-18majcoq
2005-05-17majcoq
2005-05-17Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...herbelin
2005-05-15majcoq
2005-04-21majcoq
2005-04-07majcoq
2005-03-24majcoq
2005-03-22majcoq
2005-03-22Ajout de l'axiome du but prouve par la tactique simplificoq
2005-03-19majcoq
2005-03-18majcoq
2005-03-18appel de Simplify depuis Coqcoq
2005-03-17majcoq
2005-03-17majcoq
2005-03-16majcoq
2005-03-16tactiques prouveurs premier ordre dans contrib/dp/coq
2005-03-15majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 17:28:03 +0000