aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2005-06-20majcoq
2005-06-19majcoq
2005-06-18majcoq
2005-06-17majcoq
2005-06-16majcoq
2005-06-15majcoq
2005-06-15majcoq
2005-06-15Dp : ajoût des existentielscoq
2005-06-14majcoq
2005-06-13majcoq
2005-06-12majcoq
2005-06-11majcoq
2005-06-10majcoq
2005-06-09majcoq
2005-06-09majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 20:06:16 +0000