*)
(* UNEXPORTED
-Section Complex_Numbers.
+Section Complex_Numbers
*)
inline "cic:/CoRN/complex/CComplex/CC_set.ind".
inline "cic:/CoRN/complex/CComplex/TwoCC_ap_zero.con".
(* UNEXPORTED
-End Complex_Numbers.
+End Complex_Numbers
*)
(* begin hide *)
(*#* ** Properties of [II] *)
(* UNEXPORTED
-Section I_properties.
+Section I_properties
*)
inline "cic:/CoRN/complex/CComplex/I_square.con".
inline "cic:/CoRN/complex/CComplex/cc_calculate_square.con".
(* UNEXPORTED
-End I_properties.
+End I_properties
*)
(* UNEXPORTED
(*#* ** Properties of conjugation *)
(* UNEXPORTED
-Section Conj_properties.
+Section Conj_properties
*)
inline "cic:/CoRN/complex/CComplex/CC_conj_plus.con".
inline "cic:/CoRN/complex/CComplex/CC_conj_nexp.con".
(* UNEXPORTED
-End Conj_properties.
+End Conj_properties
*)
(* UNEXPORTED
(*#* ** Properties of the real axis *)
(* UNEXPORTED
-Section cc_IR_properties.
+Section cc_IR_properties
*)
inline "cic:/CoRN/complex/CComplex/Re_cc_IR.con".
inline "cic:/CoRN/complex/CComplex/cc_IR_nexp.con".
(* UNEXPORTED
-End cc_IR_properties.
+End cc_IR_properties
*)
(* UNEXPORTED