aboutsummaryrefslogtreecommitdiff
path: root/contrib/ring/Ring_normalize.v
AgeCommit message (Expand)Author
2000-06-21 - $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)filliatr
2000-06-21Ringfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-09 08:51:40 +0000