aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Reals
Commit message (Expand)AuthorAge
* modif test constGravatar mayero2001-09-18
* Un look un peu plus avenant aux productions des règles de grammaireGravatar herbelin2001-09-11
* Expérimentation de NewDestruct et parfois NewInductionGravatar herbelin2001-08-05
* modifs de preuves (plus simples)Gravatar mayero2001-07-19
* Oubli Save + je sais plusGravatar mayero2001-06-19
* Ajouts de lemmes (pour Float)Gravatar mayero2001-06-18
* Correction bug outsideGravatar mayero2001-06-04
* ex d'utilisation de fourier avec fieldGravatar mayero2001-05-07
* coqwebGravatar filliatr2001-04-25
* correction nomGravatar mayero2001-04-24
* Ajout de Rseries et Rtrigo_funGravatar mayero2001-04-24
* (Again) Little corrections for Library docGravatar coq2001-04-24
* Ajout RealsGravatar mayero2001-04-23
* Ajouts RealsGravatar mayero2001-04-23
* Minor layout adjustments for Library docGravatar coq2001-04-23
* Ajout tactics RealsGravatar mayero2001-04-20
* Library doc adjustments (until page 140)Gravatar coq2001-04-20
* Mise de (*i autour CVS infoGravatar mohring2001-04-19
* Changement syntax pour RinvGravatar mayero2001-04-19
* Ajout de FieldGravatar delahaye2001-04-19
* documentation automatique de la bibliothèque standardGravatar filliatr2001-04-11
* entetesGravatar filliatr2001-03-15
* Renommage des variables dans les schémas d'inductionGravatar herbelin2001-02-14
* modif de la syntax: assoc a droite pour RingGravatar mayero2001-02-08
* Modif de l'axiomatisation pour enlever les /\ de _neGravatar mayero2001-01-25
* corr bug -Gravatar mayero2001-01-11
* Mise a jour RbaseGravatar mohring2001-01-11
* *** empty log message ***Gravatar mayero2000-12-22
* pb niveauGravatar mayero2000-12-15
* Prise en compte `?' dans les `` ``Gravatar herbelin2000-12-06
* Reparation d'un bug de pretty-printGravatar delahaye2000-12-05
* La bonne modif des UnfoldGravatar herbelin2000-11-27
* Suppression de Unfold inutile et maintenant échouantGravatar herbelin2000-11-27
* Ajout d'une syntaxe pour Reals.Gravatar mayero2000-11-23
* mise-a-jour, ajouts de quelques truc...Gravatar mayero2000-11-10
* Pour ne plus éviter temporairement le "Auto with zarith" !Gravatar herbelin2000-11-05
* Pour eviter temporairement le "Auto with zarith"Gravatar delahaye2000-10-30
* correctionGravatar mayero2000-07-04
* ajoutsGravatar mayero2000-07-03
* theories/RealsGravatar filliatr2000-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 01:51:59 +0000