aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2005-07-13majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7225 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7224 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13Détection d'un Fold incorrect suite à correction bug #986herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7223 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7220 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13Détection d'un Fold incorrect suite à correction bug #986herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7219 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13General recursive definitions on well founded orders supportcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7217 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13reactivation de l optim des fermeturesbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7216 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13backtrack modif de knh...barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7215 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13Correction double bug #986: Fold ne préserve pas nécessairement le typage ↵herbelin
et test de conversion buggé dans Logic.convert_hyp git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7212 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-13*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7211 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-12majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7209 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-12test du tag de reductionbarras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7208 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-11majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7206 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-10majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7204 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-09majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7202 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-08majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7200 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-07majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7198 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-06majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7196 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-06MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7195 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-05majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7192 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-04majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7190 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-03majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7188 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-02majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7186 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-07-01majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7184 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-30majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7182 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-29majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7180 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-28majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7178 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-28Correction bug #983herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7176 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-27majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7174 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-26majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7172 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-25majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7170 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-24majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7168 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-24majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7167 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-24Dp: ajout d'abstraction aux applications de fonction non premier ordrecoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7166 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-24dp: ajout des prédicats de sortescoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7165 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-22majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7163 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-22Added entry constr_may_eval for tactic extensions (new syntax)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7162 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-21majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7160 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-21coqdep connait maintenant user-contribfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7158 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-20majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7156 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-19majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7154 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-18majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7152 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-17majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7150 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-16majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7148 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-15majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7146 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-15majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7145 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-15Dp : ajoût des existentielscoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7144 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-14majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7142 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-13majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7140 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-06-12majcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7138 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 03:33:54 +0000