%\end{convention}%
*)
-inline "cic:/CoRN/algebra/COrdAbs/AbsSmall_properties/R.var" "AbsSmall_properties__".
+alias id "R" = "cic:/CoRN/algebra/COrdAbs/AbsSmall_properties/R.var".
inline "cic:/CoRN/algebra/COrdAbs/AbsSmall_wdr.con".
%\end{convention}%
*)
-inline "cic:/CoRN/algebra/COrdAbs/absBig_wd_properties/R.var" "absBig_wd_properties__".
+alias id "R" = "cic:/CoRN/algebra/COrdAbs/absBig_wd_properties/R.var".
inline "cic:/CoRN/algebra/COrdAbs/AbsBig_wdr.con".