set "baseuri" "cic:/matita/CoRN-Decl/algebra/CPoly_Degree".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: CPoly_Degree.v,v 1.5 2004/04/23 10:00:53 lcf Exp $ *)
(* begin hide *)
+(* NOTATION
+Notation RX := (cpoly_cring R).
+*)
+
(* end hide *)
(*#*
(* begin hide *)
+(* NOTATION
+Notation RX := (cpoly_cring R).
+*)
+
(* end hide *)
inline "cic:/CoRN/algebra/CPoly_Degree/degree_le_wd.con".
(* begin hide *)
+(* NOTATION
+Notation FX := (cpoly_cring F).
+*)
+
(* end hide *)
inline "cic:/CoRN/algebra/CPoly_Degree/degree_mult.con".