aboutsummaryrefslogtreecommitdiff
path: root/theories/Reals/Raxioms.v
AgeCommit message (Expand)Author
2003-12-15modif existentielle (exists | --> exists ,) + bug d'affichage des pt fixesbarras
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-09-23Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...herbelin
2003-04-16sumboolT, sumorT, sigTT, SigT redondantsherbelin
2003-04-12Open Scope en Localherbelin
2003-04-10Remplacement Import par Open Scope en v8herbelin
2003-04-09Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".herbelin
2003-03-12*** empty log message ***barras
2002-06-21Export Sumbool dans ProbBool; Reals charge et exporte ZArith_base seulementfilliatr
2002-06-20*** empty log message ***desmettr
2002-02-14option -dump-glob pour coqdocfilliatr
2001-04-19Changement syntax pour Rinvmayero
2001-03-15entetesfilliatr
2001-01-25Modif de l'axiomatisation pour enlever les /\ de _nemayero
2001-01-11Mise a jour Rbasemohring
2000-11-23Ajout d'une syntaxe pour Reals.mayero
2000-07-04correctionmayero
2000-07-03ajoutsmayero
2000-06-21theories/Realsfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 20:49:30 +0000