aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/NatInt
ModeNameSize
-rw-r--r--Makefile85logplain
-rw-r--r--NZAxioms.v3872logplain
-rw-r--r--NZBase.v2743logplain
-rw-r--r--NZOrder.v19544logplain
-rw-r--r--NZPlus.v2953logplain
-rw-r--r--NZPlusOrder.v5479logplain
-rw-r--r--NZTimes.v2737logplain
-rw-r--r--NZTimesOrder.v11937logplain