(* $Id: Opaque_algebra.v,v 1.6 2000/10/03 08:27:12 freek Exp $ *)

(* Opaque cs_crr. *)
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 csg_unit.
Opaque csg_op.
Opaque cg_inv.
Opaque cg_minus.
Opaque cr_one.
Opaque cr_mult.

Opaque nzpro.
Opaque nexp_op.
Opaque cf_div.


