aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2004-01-15majfilliatr
2004-01-13MAJherbelin
2003-11-29Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...herbelin
2003-11-29MAJherbelin
2003-11-27majfilliatr
2003-11-24majfilliatr
2003-11-22majfilliatr
2003-11-20majfilliatr
2003-11-19ajout de Znumtheory.v dans ZArithletouzey
2003-11-14MAJherbelin
2003-11-13MAJherbelin
2003-11-13majfilliatr
2003-11-12MAJherbelin
2003-11-08majfilliatr
2003-11-06majfilliatr
2003-11-05MAJherbelin
2003-11-02MAJherbelin
2003-10-29*** empty log message ***herbelin
2003-10-29majfilliatr
2003-10-28Nouveaux fichiers dans Logicherbelin
2003-10-22MAJherbelin
2003-10-21MAJherbelin
2003-10-10majfilliatr
2003-10-10Renommage en v8 de PolyList en List et List en MonoListherbelin
2003-10-04majfilliatr
2003-09-23Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...herbelin
2003-09-23majfilliatr
2003-09-12Suppression DatatypesSyntax et PeanoSyntax qui était videsherbelin
2003-07-09majfilliatr
2003-06-25majfilliatr
2003-06-14dependcoq integre les fichiers de fsetsletouzey
2003-06-14majfilliatr
2003-06-13FSets, mais pas compile' par make worldfilliatr
2003-06-13quelques adaptations de Zarith en vu de la nouvelle librarie FSetletouzey
2003-06-11majfilliatr
2003-05-21Concentration des notations officielles dans Init/Notations; restructuration ...herbelin
2003-05-14majfilliatr
2003-05-13Nouveaux lemmes (sur proposition de Nijmegen)herbelin
2003-04-30majfilliatr
2003-04-18majfilliatr
2003-04-10majfilliatr
2003-02-14MAJ pour Reals/SeqSeries.vdesmettr
2003-01-22MAJ pour renommage Rcompletdesmettr
2003-01-21Binome.v -> Binomial.vdesmettr
2003-01-16*** empty log message ***desmettr
2003-01-16renommage de TAF.v en MVT.vdesmettr
2003-01-16Renommage de RealsB en Rbasedesmettr
2003-01-07majfilliatr
2003-01-06bit vectorsfilliatr
2002-11-28majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 11:23:12 +0000