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--Qcanon.v12694logplain
-rw-r--r--Qfield.v2616logplain
-rw-r--r--Qminmax.v2119logplain
-rw-r--r--Qpower.v6150logplain
-rw-r--r--Qreals.v6233logplain
-rw-r--r--Qreduction.v4821logplain
-rw-r--r--Qring.v549logplain
-rw-r--r--Qround.v3556logplain
-rw-r--r--vo.itarget132logplain