aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/Zpower.v
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Exporting ^; utilisation arg scope impliciteGravatar herbelin2003-11-03
* Notations pour l'exponentiationGravatar herbelin2003-10-13
* Ajout Open ScopeGravatar herbelin2003-04-09
* Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".Gravatar herbelin2003-04-09
* *** empty log message ***Gravatar barras2003-03-12
* ZArith_base, Zbool, Bool_natGravatar filliatr2002-06-20
* Uniformisation (Qed/Save et Implicits Arguments)Gravatar herbelin2002-04-17
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* amadouage de coqwebGravatar letouzey2002-01-18
* ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...Gravatar letouzey2002-01-18