aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ring
ModeNameSize
-rw-r--r--LegacyArithRing.v2569logplain
-rw-r--r--LegacyNArithRing.v1411logplain
-rw-r--r--LegacyRing.v1409logplain
-rw-r--r--LegacyRing_theory.v10342logplain
-rw-r--r--LegacyZArithRing.v1295logplain
-rw-r--r--Ring_abstract.v19806logplain
-rw-r--r--Ring_normalize.v26664logplain
-rw-r--r--Setoid_ring.v654logplain
-rw-r--r--Setoid_ring_normalize.v37303logplain
-rw-r--r--Setoid_ring_theory.v10954logplain
-rw-r--r--g_ring.ml43783logplain
-rw-r--r--ring.ml32440logplain
-rw-r--r--ring_plugin.mllib28logplain
-rw-r--r--vo.itarget191logplain