%\end{convention}%
*)
-alias id "a" = "cic:/CoRN/ftc/IntervalFunct/Operations/a.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/a.var
+*)
-alias id "b" = "cic:/CoRN/ftc/IntervalFunct/Operations/b.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/b.var
+*)
-alias id "Hab" = "cic:/CoRN/ftc/IntervalFunct/Operations/Hab.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/Hab.var
+*)
(* begin hide *)
(* end hide *)
-alias id "f" = "cic:/CoRN/ftc/IntervalFunct/Operations/f.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/f.var
+*)
-alias id "g" = "cic:/CoRN/ftc/IntervalFunct/Operations/g.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/g.var
+*)
(* UNEXPORTED
Section Const
%\end{convention}%
*)
-alias id "c" = "cic:/CoRN/ftc/IntervalFunct/Operations/Const/c.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/Const/c.var
+*)
inline procedural "cic:/CoRN/ftc/IntervalFunct/IConst_strext.con" as lemma.
Exponentiation to a natural power [n] is also useful.
*)
-alias id "n" = "cic:/CoRN/ftc/IntervalFunct/Operations/Nth_Power/n.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/Nth_Power/n.var
+*)
inline procedural "cic:/CoRN/ftc/IntervalFunct/INth_strext.con" as lemma.
(* begin show *)
-alias id "Hg" = "cic:/CoRN/ftc/IntervalFunct/Operations/Recip_Div/Hg.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Operations/Recip_Div/Hg.var
+*)
(* end show *)
Section Composition
*)
-alias id "a" = "cic:/CoRN/ftc/IntervalFunct/Composition/a.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/a.var
+*)
-alias id "b" = "cic:/CoRN/ftc/IntervalFunct/Composition/b.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/b.var
+*)
-alias id "Hab" = "cic:/CoRN/ftc/IntervalFunct/Composition/Hab.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/Hab.var
+*)
(* begin hide *)
(* end hide *)
-alias id "a'" = "cic:/CoRN/ftc/IntervalFunct/Composition/a'.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/a'.var
+*)
-alias id "b'" = "cic:/CoRN/ftc/IntervalFunct/Composition/b'.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/b'.var
+*)
-alias id "Hab'" = "cic:/CoRN/ftc/IntervalFunct/Composition/Hab'.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/Hab'.var
+*)
(* begin hide *)
(* end hide *)
-alias id "f" = "cic:/CoRN/ftc/IntervalFunct/Composition/f.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/f.var
+*)
-alias id "g" = "cic:/CoRN/ftc/IntervalFunct/Composition/g.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/g.var
+*)
-alias id "Hfg" = "cic:/CoRN/ftc/IntervalFunct/Composition/Hfg.var".
+(* UNEXPORTED
+cic:/CoRN/ftc/IntervalFunct/Composition/Hfg.var
+*)
inline procedural "cic:/CoRN/ftc/IntervalFunct/IComp_strext.con" as lemma.