coq/theories7/Arith, branch master The formal proof system Suppression des fichiers .v en ancienne syntaxe 2005-12-26T13:59:13+00:00 herbelin 2005-12-26T13:59:13+00:00 f6e1acbbe00aeb479fde229c3941e3a6a2d53068 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7733 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7733 85f007b7-540e-0410-9357-904b9bb8a0f7
Nouvelle en-tête 2004-07-16T20:01:26+00:00 herbelin 2004-07-16T20:01:26+00:00 763cf4f37e10d9a0e8a2a0e9286c02708a60bf08 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le meme traitement pour plus_reg_l 2003-12-03T08:32:34+00:00 herbelin 2003-12-03T08:32:34+00:00 4bf9de511eef117ed018ee33e710d078be7d6f4d git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5062 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5062 85f007b7-540e-0410-9357-904b9bb8a0f7
Meilleure robustesse des reordonnement d'arguments (3eme) 2003-12-01T13:36:45+00:00 herbelin 2003-12-01T13:36:45+00:00 ac952fc310b1ba17c8e5a243ec617351130e1d81 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5050 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5050 85f007b7-540e-0410-9357-904b9bb8a0f7
Meilleure robustesse des reordonnement d'arguments (2eme) 2003-12-01T12:31:32+00:00 herbelin 2003-12-01T12:31:32+00:00 561dcedd6bb9bf037d60a64385433c13bf9196a0 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5049 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5049 85f007b7-540e-0410-9357-904b9bb8a0f7
Meilleure robustesse des reordonnement d'arguments 2003-12-01T12:24:30+00:00 herbelin 2003-12-01T12:24:30+00:00 b723d087151837ebfd285490858671544db3b1e1 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5048 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5048 85f007b7-540e-0410-9357-904b9bb8a0f7
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 2003-11-29T17:48:42+00:00 herbelin 2003-11-29T17:48:42+00:00 460f679c73467c2cff5940c4ee603ec21d75aa2f git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5030 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5030 85f007b7-540e-0410-9357-904b9bb8a0f7
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7 2003-11-29T16:15:58+00:00 herbelin 2003-11-29T16:15:58+00:00 9058fb97426307536f56c3e7447be2f70798e081 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5026 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5026 85f007b7-540e-0410-9357-904b9bb8a0f7