aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ring
ModeNameSize
-rw-r--r--LegacyArithRing.v2577logplain
-rw-r--r--LegacyNArithRing.v1419logplain
-rw-r--r--LegacyRing.v1409logplain
-rw-r--r--LegacyRing_theory.v10342logplain
-rw-r--r--LegacyZArithRing.v1303logplain
-rw-r--r--Ring_abstract.v19832logplain
-rw-r--r--Ring_normalize.v26689logplain
-rw-r--r--Setoid_ring.v654logplain
-rw-r--r--Setoid_ring_normalize.v37328logplain
-rw-r--r--Setoid_ring_theory.v10954logplain
-rw-r--r--g_ring.ml43783logplain
-rw-r--r--ring.ml32457logplain
-rw-r--r--ring_plugin.mllib28logplain
-rw-r--r--vo.itarget191logplain