set "baseuri" "cic:/matita/CoRN-Decl/complex/AbsCC".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: AbsCC.v,v 1.2 2004/04/23 10:00:54 lcf Exp $ *)
** Properties of [AbsCC] *)
(* UNEXPORTED
-Section AbsCC_properties.
+Section AbsCC_properties
*)
inline "cic:/CoRN/complex/AbsCC/AbsCC_nonneg.con".
(* begin hide *)
-inline "cic:/CoRN/complex/AbsCC/l_1_1_2.con".
+inline "cic:/CoRN/complex/AbsCC/AbsCC_properties/l_1_1_2.con" "AbsCC_properties__".
(* end hide *)
(* begin hide *)
-inline "cic:/CoRN/complex/AbsCC/l_1_2_3_CC.con".
+inline "cic:/CoRN/complex/AbsCC/AbsCC_properties/l_1_2_3_CC.con" "AbsCC_properties__".
(* end hide *)
(* begin hide *)
-inline "cic:/CoRN/complex/AbsCC/l_4_1_2.con".
+inline "cic:/CoRN/complex/AbsCC/AbsCC_properties/l_4_1_2.con" "AbsCC_properties__".
-inline "cic:/CoRN/complex/AbsCC/l_4_2_3.con".
+inline "cic:/CoRN/complex/AbsCC/AbsCC_properties/l_4_2_3.con" "AbsCC_properties__".
-inline "cic:/CoRN/complex/AbsCC/l_4_3_4.con".
+inline "cic:/CoRN/complex/AbsCC/AbsCC_properties/l_4_3_4.con" "AbsCC_properties__".
(* end hide *)
(* UNEXPORTED
-End AbsCC_properties.
+End AbsCC_properties
*)
(* UNEXPORTED