aboutsummaryrefslogtreecommitdiff
path: root/.depend.coq
AgeCommit message (Expand)Author
2002-11-28majfilliatr
2002-11-27Réorganisation de la librairie des réelsdesmettr
2002-11-27Réorganisation de la librairie des réelsdesmettr
2002-11-27majfilliatr
2002-11-26Option pour compiler une version 'light' des réelsdesmettr
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-15maj apres reparation d'un bug coqdepletouzey
2002-11-15majfilliatr
2002-10-15commit du calcul des dependances un peu plus robustebarras
2002-10-15majfilliatr
2002-10-14coqdep bogué, retour sur version 1.75herbelin
2002-10-14majfilliatr
2002-10-13Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...herbelin
2002-10-11majfilliatr
2002-10-10Ajout ClassicalFactsherbelin
2002-10-08majfilliatr
2002-10-07majfilliatr
2002-10-03majfilliatr
2002-10-02majfilliatr
2002-09-27majfilliatr
2002-09-20majfilliatr
2002-09-20majfilliatr
2002-08-14MAJ depend.coqcoq
2002-08-02Modules dans COQ\!\!\!\!coq
2002-07-19correction bugs Tautocourant
2002-07-15Correction bug Tauto : la regle pour (A->B)->C echouait quand C etaitcourant
2002-07-02majfilliatr
2002-06-28resynchronisation du .depend.coqletouzey
2002-06-20ZArith_base, Zbool, Bool_natfilliatr
2002-06-19deplacement contrib/correctness/ProgWf -> theories/ZArith/Zwffilliatr
2002-06-07extraction vers schemeletouzey
2002-06-07Adding file theories/ZArith/Zsqrt.v that contains a square root function.bertot
2002-05-31.depend.coq remis a jourletouzey
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-05-16MAJherbelin
2002-05-15majfilliatr
2002-05-14nouveaux lemmes dans Zdiv (Claude Marche)filliatr
2002-04-05nouveau module Zdivfilliatr
2002-03-27Elimination Elimdep.vmohring
2002-01-18ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...letouzey
2001-12-10mise a jourfilliatr
2001-11-21remise au gout du jour du repertoire theories/Sorting de la V6.3letouzey
2001-11-19Diverses petites simplications de la machine de preuves.clrenard
2001-09-19Deplacement des setoides.clrenard
2001-09-18Modification de l'emplacement des fichiers pour les setoides.clrenard
2001-07-10Changement de place et de nom de la tactique Setoid_rewrite.clrenard
2001-06-26Mise a jour des .dependclrenard
2001-06-19Ajouts des theories du paradoxe de Berardidelahaye
2001-06-12Ajout des entrees puor Setoid_replace.clrenard
2001-05-31Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-28 14:12:46 +0000