set "baseuri" "cic:/matita/CoRN-Decl/ftc/CalculusTheorems".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: CalculusTheorems.v,v 1.6 2004/04/23 10:00:57 lcf Exp $ *)
*)
(* UNEXPORTED
-Section Various_Theorems.
+Section Various_Theorems
*)
(*#* *Calculus Theorems
inline "cic:/CoRN/ftc/CalculusTheorems/nexp_resp_leEq_odd.con".
(* UNEXPORTED
-End Various_Theorems.
+End Various_Theorems
*)