set "baseuri" "cic:/matita/CoRN-Decl/transc/SinCos".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: SinCos.v,v 1.6 2004/04/23 10:01:08 lcf Exp $ *)
include "transc/Trigonometric.ma".
(* UNEXPORTED
-Section Sum_and_so_on.
+Section Sum_and_so_on
*)
(* UNEXPORTED
(* begin hide *)
-inline "cic:/CoRN/transc/SinCos/F.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/F.con" "Sum_and_so_on__".
-inline "cic:/CoRN/transc/SinCos/G.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/G.con" "Sum_and_so_on__".
-inline "cic:/CoRN/transc/SinCos/F'.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/F'.con" "Sum_and_so_on__".
-inline "cic:/CoRN/transc/SinCos/G'.con".
+inline "cic:/CoRN/transc/SinCos/Sum_and_so_on/G'.con" "Sum_and_so_on__".
(* end hide *)
inline "cic:/CoRN/transc/SinCos/FFT'.con".
(* UNEXPORTED
-End Sum_and_so_on.
+End Sum_and_so_on
*)
(* UNEXPORTED
*)
(* UNEXPORTED
-Section Basic_Properties.
+Section Basic_Properties
*)
(*#* **Basic properties
inline "cic:/CoRN/transc/SinCos/AbsIR_Sin_less_One.con".
(* UNEXPORTED
-End Basic_Properties.
+End Basic_Properties
*)
(* UNEXPORTED