summaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/SpecViaZ
ModeNameSize
-rw-r--r--ZSig.v5017logplain
-rw-r--r--ZSigZAxioms.v12026logplain