aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/QArith
ModeNameSize
-rw-r--r--QArith.v617logplain
-rw-r--r--QArith_base.v22174logplain
-rw-r--r--Qabs.v2965logplain
-rw-r--r--Qcanon.v12870logplain
-rw-r--r--Qfield.v2635logplain
-rw-r--r--Qpower.v6580logplain
-rw-r--r--Qreals.v7171logplain
-rw-r--r--Qreduction.v5496logplain
-rw-r--r--Qring.v563logplain
-rw-r--r--Qround.v3279logplain