In this library, some names has been changed. This script can be used to 
update user's developments. 


======================================================================
#!/bin/sh

sed \
-e "s/addR/Rplus/g" \
-e "s/multR/Rmult/g" \
-e "s/unminus/Ropp/g" \
-e "s/unmin/Ropp/g" \
-e "s/minusR/Rminus/g" \
-e "s/inver/Rinv/g" \
-e "s/gtR/Rgt/g" \
-e "s/geR/Rge/g" \
-e "s/ltR/Rlt/g" \
-e "s/leR/Rle/g" \
-e "s/_commu/_sym/g" \
-e "s/_transi/_trans/g" \
-e "s/IR/R1/g" \
-e "s/OR/R0/g" \
-e "s/distriR/Rmult_Rplus_distr/g" \
-e "s/suparch/up/g" \
-e "s/pos_neg/Rplus_opp_r/g" \
-e "s/neg_pos/Rplus_opp_l/g" \
-e "s/Rplus_en/Rplus_ne/g" \
-e "s/inv_l/Rinv_l/g" \
-e "s/inv_r/Rinv_r/g" \
-e "s/Rmult_en/Rmult_ne/g" \
-e "s/base0/R1_neq_R0/g" \
-e "s/ord_tot/total_order/g" \
-e "s/est_majorant/is_upper_bound/g" \
-e "s/est_borne_sup/is_lub/g" \
-e "s/borne/bound/g" \
-e "s/base1/Req_EM/g" \
-e "s/basedir/not_Req/g" \
-e "s/baserec/imp_not_Req/g" \
-e "s/opposeR/Rplus_Ropp/g" \
-e "s/_add/_plus/g" \
-e "s/add_/plus_/g" \
-e "s/Rplus_en_i/Rplus_ne_i/g" \
-e "s/Rmult_Od/Rmult_Or/g" \
-e "s/Rmult_Og/Rmult_Ol/g" \
-e "s/sans_div_Od/without_div_Od/g" \
-e "s/sans_div_Oi1/without_div_Oi1/g" \
-e "s/sans_div_Oi2/without_div_Oi2/g" \
-e "s/sans_div_Oi/without_div_Oi/g" \
-e "s/sans_div_O_contr/without_div_O_contr/g" \
-e "s/neg_neg/Ropp_Ropp/g" \
-e "s/_opp/_Ropp/g" \
-e "s/lteR_trans1/Rle_lt_trans/g" \
-e "s/lteR_trans2/Rlt_le_trans/g" \
-e "s/somme_/sum_/g" \
-e "s/base_carreR/pos_Rsqr/g" \
-e "s/base_carreR1/Rlt_pos_Rsqr/g" \
-e "s/carreR/Rsqr/g" \
-e "s/R0_R1/Rlt_R0_R1/g" \
-e "s/gteR_trans1/Rge_gt_trans/g" \
-e "s/gteR_trans2/Rgt_ge_trans/g" \
-e "s/unic_/single_/g" \
-e "s/pEr/Int_part/g" \
-e "s/part_frac/frac_part/g" \
-e "s/pf_/fp_/g" \
-e "s/_pf/_fp/g" \
-e "s/minR/Rmin/g" \
-e "s/absoluR/Rabsolu/g" \
-e "s/_absolu/_Rabsolu/g" \
$1
==========================================================================

