aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Num/OppAxioms.v
Commit message (Expand)AuthorAge
* entetesGravatar filliatr2001-03-15
* Essai d'axiomatisation des numeralGravatar mohring2001-01-15