aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num
Commit message (Expand)AuthorAge
* reorganisation des niveaux (ex: = est a 70)Gravatar barras2003-10-22
* Cacher les .v8Gravatar herbelin2003-10-03
* *** empty log message ***Gravatar barras2003-03-21
* Uniformisation (Qed/Save et Implicits Arguments)Gravatar herbelin2002-04-17
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* ajout option , Exc --> option, et lemmes dans les theoriesGravatar mohring2001-08-29
* Bibliotheque NumGravatar mohring2001-03-26
* entetesGravatar filliatr2001-03-15
* *** empty log message ***Gravatar mohring2001-02-01
* Essai d'axiomatisation des numeralGravatar mohring2001-01-15