coq/theories/Zarith, branch master

remplace Zarith par ZArith

2001-04-19T13:07:42+00:00

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

documentation automatique de la bibliothèque standard

2001-04-11T12:41:41+00:00

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

ajout des lemmes Zimmerman

2001-04-08T17:18:57+00:00

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

entetes

2001-03-15T13:38:59+00:00

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

Renommage des variables dans les schémas d'induction

2001-02-14T15:57:26+00:00

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

simplification du make depend; fonctions de stat. util. memoire dans certains modules

2001-02-08T08:29:12+00:00

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

- coqc : option -image

2001-02-01T08:35:21+00:00

- coqmktop : manquaient des -I
- tauto : rétablissement du vieux tauto en attendant la stabilité du nouveau
- correction d'un bug de Simpl avec Fix (découvert dans preuve FTA)


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

Ajout de commentaire coqweb

2001-01-15T16:50:36+00:00

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

Mise a jour Rbase

2001-01-11T11:09:11+00:00

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

Meta Definition -> Tactic Definition

2001-01-09T16:29:56+00:00

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