coq/theories/Num/Make, branch master The formal proof system Répertoire Numbers poursuit l'objectif entamé en syntaxe V7 dans le 2007-07-13T14:55:03+00:00 herbelin 2007-07-13T14:55:03+00:00 246909f2c587ed798bc42b65fb90c7b77dfa52b7 répertoire Num. Suppression de ce dernier de l'archive courante. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9995 85f007b7-540e-0410-9357-904b9bb8a0f7 
répertoire Num. Suppression de ce dernier de l'archive courante.



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9995 85f007b7-540e-0410-9357-904b9bb8a0f7
ajout option , Exc --> option, et lemmes dans les theories 2001-08-29T13:49:09+00:00 mohring 2001-08-29T13:49:09+00:00 27b1061be797da05212500f16af9c88ac28849ee git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1914 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1914 85f007b7-540e-0410-9357-904b9bb8a0f7
Bibliotheque Num 2001-03-26T16:18:23+00:00 mohring 2001-03-26T16:18:23+00:00 cbb66123625e44bf35a5dc3c2621a94589111304 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1491 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1491 85f007b7-540e-0410-9357-904b9bb8a0f7
*** empty log message *** 2001-02-01T09:09:41+00:00 mohring 2001-02-01T09:09:41+00:00 9cb3549db6a56cae14c0aec0de999b78dd2e0fce git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1307 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1307 85f007b7-540e-0410-9357-904b9bb8a0f7
Essai d'axiomatisation des numeral 2001-01-15T16:51:34+00:00 mohring 2001-01-15T16:51:34+00:00 d3b2888ef26cf26963d2489532d01a716ad2f0ff git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1253 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1253 85f007b7-540e-0410-9357-904b9bb8a0f7