aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/QArith
ModeNameSize
-rw-r--r--QArith.v617logplain
-rw-r--r--QArith_base.v21530logplain
-rw-r--r--QOrderedType.v1757logplain
-rw-r--r--Qabs.v2965logplain
-rw-r--r--Qcanon.v12832logplain
-rw-r--r--Qfield.v2630logplain
-rw-r--r--Qminmax.v4682logplain
-rw-r--r--Qpower.v6581logplain
-rw-r--r--Qreals.v7168logplain
-rw-r--r--Qreduction.v5486logplain
-rw-r--r--Qring.v563logplain
-rw-r--r--Qround.v3273logplain