aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/QArith
ModeNameSize
-rw-r--r--QArith.v603logplain
-rw-r--r--QArith_base.v23653logplain
-rw-r--r--QOrderedType.v1792logplain
-rw-r--r--Qabs.v3959logplain
-rw-r--r--Qcabs.v4294logplain
-rw-r--r--Qcanon.v12812logplain
-rw-r--r--Qfield.v2616logplain
-rw-r--r--Qminmax.v2119logplain
-rw-r--r--Qpower.v6150logplain
-rw-r--r--Qreals.v5691logplain
-rw-r--r--Qreduction.v5164logplain
-rw-r--r--Qring.v549logplain
-rw-r--r--Qround.v3557logplain