coq/theories/Num/Nat/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
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