aboutsummaryrefslogtreecommitdiff
path: root/test-suite/complexity/ring2.v
AgeCommit message (Expand)Author
2008-07-09test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eqletouzey
2008-05-22Strategy commands are now exportedbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 08:14:42 +0000