aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2005-07-15improves shadows in the main windownarboux
2005-07-15foldherbelin
2005-07-14majcoq
2005-07-14majcoq
2005-07-13majcoq
2005-07-13majcoq
2005-07-13Détection d'un Fold incorrect suite à correction bug #986herbelin
2005-07-13majcoq
2005-07-13Détection d'un Fold incorrect suite à correction bug #986herbelin
2005-07-13General recursive definitions on well founded orders supportcoq
2005-07-13reactivation de l optim des fermeturesbarras
2005-07-13backtrack modif de knh...barras
2005-07-13Correction double bug #986: Fold ne préserve pas nécessairement le typage e...herbelin
2005-07-13*** empty log message ***barras
2005-07-12majcoq
2005-07-12test du tag de reductionbarras
2005-07-11majcoq
2005-07-10majcoq
2005-07-09majcoq
2005-07-08majcoq
2005-07-07majcoq
2005-07-06majcoq
2005-07-06MAJherbelin
2005-07-05majcoq
2005-07-04majcoq
2005-07-03majcoq
2005-07-02majcoq
2005-07-01majcoq
2005-06-30majcoq
2005-06-29majcoq
2005-06-28majcoq
2005-06-28Correction bug #983herbelin
2005-06-27majcoq
2005-06-26majcoq
2005-06-25majcoq
2005-06-24majcoq
2005-06-24majcoq
2005-06-24Dp: ajout d'abstraction aux applications de fonction non premier ordrecoq
2005-06-24dp: ajout des prédicats de sortescoq
2005-06-22majcoq
2005-06-22Added entry constr_may_eval for tactic extensions (new syntax)herbelin
2005-06-21majcoq
2005-06-21coqdep connait maintenant user-contribfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-30 14:19:12 +0000