inline "cic:/CoRN/reals/Bridges_LUB/dif_cotrans.con".
inline "cic:/CoRN/reals/Bridges_LUB/dif_cotrans_strong.con".
inline "cic:/CoRN/reals/Bridges_LUB/dIntrvl.con".
inline "cic:/CoRN/reals/Bridges_LUB/dif_cotrans.con".
inline "cic:/CoRN/reals/Bridges_LUB/dif_cotrans_strong.con".
inline "cic:/CoRN/reals/Bridges_LUB/dIntrvl.con".