CoRN.tactics.Opaque_algebra

Opaque csg_crr.
Opaque cm_crr.
Opaque cg_crr.
Opaque cr_crr.
Opaque cf_crr.

Opaque csf_fun.
Opaque csbf_fun.
Opaque csr_rel.

Opaque cs_eq.
Opaque cs_neq.
Opaque cs_ap.
Opaque cm_unit.
Opaque csg_op.
Opaque cg_inv.
Opaque cg_minus.
Opaque cr_one.
Opaque cr_mult.

Opaque nexp_op.
Opaque cf_div.