aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--Makefile85logplain
-rw-r--r--NZAxioms.v3780logplain
-rw-r--r--NZBase.v2742logplain
-rw-r--r--NZOrder.v19367logplain
-rw-r--r--NZPlus.v2953logplain
-rw-r--r--NZTimes.v2737logplain
-rw-r--r--NZTimesOrder.v16422logplain