summaryrefslogtreecommitdiff
path: root/theories/QArith
ModeNameSize
-rw-r--r--QArith.v603logplain
-rw-r--r--QArith_base.v25627logplain
-rw-r--r--QOrderedType.v1792logplain
-rw-r--r--Qabs.v3948logplain
-rw-r--r--Qcanon.v12721logplain
-rw-r--r--Qfield.v2616logplain
-rw-r--r--Qminmax.v2119logplain
-rw-r--r--Qpower.v6566logplain
-rw-r--r--Qreals.v7155logplain
-rw-r--r--Qreduction.v5413logplain
-rw-r--r--Qring.v549logplain
-rw-r--r--Qround.v3562logplain
-rw-r--r--vo.itarget132logplain