aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/Abstract
ModeNameSize
-rw-r--r--ZAdd.v8291logplain
-rw-r--r--ZAddOrder.v9044logplain
-rw-r--r--ZAxioms.v1226logplain
-rw-r--r--ZBase.v1224logplain
-rw-r--r--ZDivEucl.v18183logplain
-rw-r--r--ZDivFloor.v18163logplain
-rw-r--r--ZDivTrunc.v17538logplain
-rw-r--r--ZLt.v3595logplain
-rw-r--r--ZMul.v2503logplain
-rw-r--r--ZMulOrder.v7643logplain
-rw-r--r--ZProperties.v768logplain