aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num/GeAxioms.v
Commit message (Expand)AuthorAge
* Nouvelle en-tĂȘteGravatar herbelin2004-07-16
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* entetesGravatar filliatr2001-03-15
* Essai d'axiomatisation des numeralGravatar mohring2001-01-15