aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Numbers/Cyclic/DoubleCyclic
ModeNameSize
-rw-r--r--DoubleAdd.v11459logplain
-rw-r--r--DoubleBase.v13486logplain
-rw-r--r--DoubleCyclic.v27007logplain
-rw-r--r--DoubleDiv.v57950logplain
-rw-r--r--DoubleDivn1.v21222logplain
-rw-r--r--DoubleLift.v19728logplain
-rw-r--r--DoubleMul.v24365logplain
-rw-r--r--DoubleSqrt.v49665logplain
-rw-r--r--DoubleSub.v12612logplain
-rw-r--r--DoubleType.v1882logplain