aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/Abstract
ModeNameSize
-rw-r--r--ZAxioms.v478logplain
-rw-r--r--ZBase.v841logplain
-rw-r--r--ZDec.v136logplain
-rw-r--r--ZDomain.v1702logplain
-rw-r--r--ZOrder.v12661logplain
-rw-r--r--ZPlus.v6718logplain
-rw-r--r--ZPlusOrder.v5165logplain
-rw-r--r--ZPred.v2248logplain
-rw-r--r--ZTimes.v4009logplain
-rw-r--r--ZTimesOrder.v2989logplain