coq/theories/Num/Nat, branch master

Répertoire Numbers poursuit l'objectif entamé en syntaxe V7 dans le

2007-07-13T14:55:03+00:00

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

deux tags $ mal formes

2006-03-16T19:24:17+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8640 85f007b7-540e-0410-9357-904b9bb8a0f7

ajout option , Exc --> option, et lemmes dans les theories

2001-08-29T13:49:09+00:00

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

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1491 85f007b7-540e-0410-9357-904b9bb8a0f7