aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/setoid_ring
ModeNameSize
-rw-r--r--ArithRing.v1784logplain
-rw-r--r--BinList.v2686logplain
-rw-r--r--Field.v581logplain
-rw-r--r--Field_tac.v18744logplain
-rw-r--r--Field_theory.v68459logplain
-rw-r--r--InitialRing.v26791logplain
-rw-r--r--NArithRing.v771logplain
-rw-r--r--RealField.v3429logplain
-rw-r--r--Ring.v1456logplain
-rw-r--r--Ring_base.v817logplain
-rw-r--r--Ring_equiv.v1635logplain
-rw-r--r--Ring_polynom.v57009logplain
-rw-r--r--Ring_tac.v13812logplain
-rw-r--r--Ring_theory.v19918logplain
-rw-r--r--ZArithRing.v1558logplain
-rw-r--r--newring.ml441342logplain
-rw-r--r--newring_plugin.mllib27logplain
-rw-r--r--vo.itarget196logplain