aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/ring
ModeNameSize
-rw-r--r--.cvsignore5logplain
-rw-r--r--ArithRing.v2554logplain
-rw-r--r--NArithRing.v1391logplain
-rw-r--r--Quote.v2611logplain
-rw-r--r--Ring.v1374logplain
-rw-r--r--Ring_abstract.v19832logplain
-rw-r--r--Ring_normalize.v26692logplain
-rw-r--r--Ring_theory.v10337logplain
-rw-r--r--Setoid_ring.v632logplain
-rw-r--r--Setoid_ring_normalize.v37350logplain
-rw-r--r--Setoid_ring_theory.v10967logplain
-rw-r--r--ZArithRing.v1275logplain
-rw-r--r--g_quote.ml4724logplain
-rw-r--r--g_ring.ml43731logplain
-rw-r--r--quote.ml16754logplain
-rw-r--r--ring.ml32692logplain