Section More_Nexp
*)
-inline "cic:/CoRN/algebra/Expon/More_Nexp/R.var" "More_Nexp__".
+alias id "R" = "cic:/CoRN/algebra/Expon/More_Nexp/R.var".
inline "cic:/CoRN/algebra/Expon/nexp_resp_ap_zero.con".
Section Zexp_def
*)
-inline "cic:/CoRN/algebra/Expon/Zexp_def/R.var" "Zexp_def__".
+alias id "R" = "cic:/CoRN/algebra/Expon/Zexp_def/R.var".
(*#*
It would be nicer to define [zexp] using [caseZdiff], but we already
Section Zexp_properties
*)
-inline "cic:/CoRN/algebra/Expon/Zexp_properties/R.var" "Zexp_properties__".
+alias id "R" = "cic:/CoRN/algebra/Expon/Zexp_properties/R.var".
inline "cic:/CoRN/algebra/Expon/zexp_zero.con".
Section Root_Unique
*)
-inline "cic:/CoRN/algebra/Expon/Root_Unique/R.var" "Root_Unique__".
+alias id "R" = "cic:/CoRN/algebra/Expon/Root_Unique/R.var".
inline "cic:/CoRN/algebra/Expon/root_unique.con".