aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-08-22majcoq
2005-08-22argument inutilisé de zip: toujours l'identitéletouzey
2005-08-21majcoq
2005-08-20majcoq
2005-08-19majcoq
2005-08-19pas besoin de List.length pour savoir si une liste est videletouzey
2005-08-19Sur le conseil de X.Leroy: x=[||] devient Array.length x=0letouzey
2005-08-18majcoq
2005-08-18code cleaning. No changes as far as tested.coq
2005-08-17majcoq
2005-08-17majcoq
2005-08-17new congruencecorbinea
2005-08-16majcoq
2005-08-15majcoq
2005-08-14majcoq
2005-08-13majcoq
2005-08-12majcoq
2005-08-11majcoq
2005-08-10majcoq
2005-08-09majcoq
2005-08-08majcoq
2005-08-07majcoq
2005-08-06majcoq
2005-08-05majcoq
2005-08-04majcoq
2005-08-03majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-02majcoq
2005-08-01Procédure d'ajout d'une nouvelle contributions utilisateurherbelin
2005-07-25Add two .bat scripts to run coq and coqide under windows without changing aut...narboux
2005-07-25rename INSTALL.win INSTALL.txt to ease openingnarboux
2005-07-24majcoq
2005-07-23majcoq
2005-07-22majcoq
2005-07-21majcoq
2005-07-21Utilisation de la non-équivalence d'inductifs pour le case_info (cf message ...herbelin
2005-07-20majcoq
2005-07-18majcoq
2005-07-17majcoq
2005-07-16majcoq
2005-07-15majcoq
2005-07-15majcoq
2005-07-15Subtac: traitement correct des existentielles et de la récursion.coq
2005-07-15Add some debug printing functions.coq
2005-07-15Fix sumbool_not hint (on behalf of cpaulin).coq
2005-07-15add a left and right tactic for classical logicnarboux
2005-07-15reflexive tautocorbinea
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 04:49:42 +0000