aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/ring
ModeNameSize
-rw-r--r--LegacyArithRing.v2592logplain
-rw-r--r--LegacyNArithRing.v1431logplain
-rw-r--r--LegacyRing.v1421logplain
-rw-r--r--LegacyRing_theory.v10364logplain
-rw-r--r--LegacyZArithRing.v1315logplain
-rw-r--r--Ring_abstract.v19855logplain
-rw-r--r--Ring_normalize.v26715logplain
-rw-r--r--Setoid_ring.v666logplain
-rw-r--r--Setoid_ring_normalize.v37351logplain
-rw-r--r--Setoid_ring_theory.v10971logplain
-rw-r--r--g_ring.ml43809logplain
-rw-r--r--ring.ml32774logplain