aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/setoid_ring
ModeNameSize
-rw-r--r--BinList.v2507logplain
-rw-r--r--Pol.v36340logplain
-rw-r--r--Ring_tac.v19768logplain
-rw-r--r--Ring_th.v15776logplain
-rw-r--r--ZRing_th.v24670logplain
-rw-r--r--newring.ml417998logplain