summaryrefslogtreecommitdiff
path: root/plugins/ring
ModeNameSize
-rw-r--r--LegacyArithRing.v2553logplain
-rw-r--r--LegacyNArithRing.v1381logplain
-rw-r--r--LegacyRing.v1393logplain
-rw-r--r--LegacyRing_theory.v10182logplain
-rw-r--r--LegacyZArithRing.v1295logplain
-rw-r--r--Ring_abstract.v19344logplain
-rw-r--r--Ring_normalize.v26071logplain
-rw-r--r--Setoid_ring.v654logplain
-rw-r--r--Setoid_ring_normalize.v36792logplain
-rw-r--r--Setoid_ring_theory.v10946logplain
-rw-r--r--g_ring.ml43783logplain
-rw-r--r--ring.ml32606logplain
-rw-r--r--ring_plugin.mllib28logplain
-rw-r--r--vo.itarget191logplain