aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/ring
ModeNameSize
-rw-r--r--ArithRing.v2452logplain
-rw-r--r--Quote.v2524logplain
-rw-r--r--Ring.v1393logplain
-rw-r--r--Ring_abstract.v20484logplain
-rw-r--r--Ring_normalize.v27134logplain
-rw-r--r--Ring_theory.v9972logplain
-rw-r--r--Setoid_ring.v626logplain
-rw-r--r--Setoid_ring_normalize.v40101logplain
-rw-r--r--Setoid_ring_theory.v10750logplain
-rw-r--r--ZArithRing.v1294logplain
-rw-r--r--g_quote.ml4717logplain
-rw-r--r--g_ring.ml43724logplain
-rw-r--r--quote.ml16735logplain
-rw-r--r--ring.ml32379logplain