set "baseuri" "cic:/matita/CoRN-Decl/fta/CPoly_Shift".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: CPoly_Shift.v,v 1.4 2004/04/23 10:00:56 lcf Exp $ *)
*)
(* UNEXPORTED
-Section Poly_Shifted.
+Section Poly_Shifted
*)
inline "cic:/CoRN/fta/CPoly_Shift/Shift.con".
inline "cic:/CoRN/fta/CPoly_Shift/Shift_monic.con".
(* UNEXPORTED
-End Poly_Shifted.
+End Poly_Shifted
*)
(* UNEXPORTED