aboutsummaryrefslogtreecommitdiff
path: root/.depend
AgeCommit message (Expand)Author
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
2005-03-08majcoq
2005-02-21majcoq
2005-02-18majcoq
2005-02-18Moving centralised discharge into dispatched discharge_functionherbelin
2005-02-17majcoq
2005-02-12majcoq
2005-02-06majcoq
2005-02-04majcoq
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-01-17majcoq
2005-01-14majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 21:30:30 +0000