set "baseuri" "cic:/matita/CoRN-Decl/transc/TrigMon".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: TrigMon.v,v 1.9 2004/04/23 10:01:08 lcf Exp $ *)
inline "cic:/CoRN/transc/TrigMon/Sin_resp_less.con".
(* UNEXPORTED
-Section Tangent.
+Section Tangent
*)
(*#* **Derivative of Tangent
inline "cic:/CoRN/transc/TrigMon/Tan_resp_leEq.con".
(* UNEXPORTED
-End Tangent.
+End Tangent
*)
(* UNEXPORTED