summaryrefslogtreecommitdiff
path: root/theories/QArith
ModeNameSize
-rw-r--r--QArith.v664logplain
-rw-r--r--QArith_base.v22483logplain
-rw-r--r--Qabs.v2965logplain
-rw-r--r--Qcanon.v12917logplain
-rw-r--r--Qfield.v2682logplain
-rw-r--r--Qpower.v6585logplain
-rw-r--r--Qreals.v7218logplain
-rw-r--r--Qreduction.v5547logplain
-rw-r--r--Qring.v609logplain
-rw-r--r--Qround.v3279logplain