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