aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num/AddProps.v
Commit message (Expand)AuthorAge
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* 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