aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/QArith
ModeNameSize
-rw-r--r--QArith.v617logplain
-rw-r--r--QArith_base.v18125logplain
-rw-r--r--Qcanon.v12938logplain
-rw-r--r--Qreals.v7043logplain
-rw-r--r--Qreduction.v4846logplain
-rw-r--r--Qring.v2116logplain