===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/undocumented,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM_contrib2/asir2000/builtin/undocumented	2016/03/24 01:31:06	1.1
+++ OpenXM_contrib2/asir2000/builtin/undocumented	2016/08/27 03:09:03	1.2
@@ -81,8 +81,6 @@ dp_set_kara",Pdp_set_kara,-1},
 dp_set_module_weight",Pdp_set_module_weight,-1},
 dp_set_mpi",Pdp_set_mpi,-1},
 dp_set_sugar",Pdp_set_sugar,2},
-dp_set_top_weight",Pdp_set_top_weight,-1},
-dp_set_weight",Pdp_set_weight,-1},
 dp_sort",Pdp_sort,1},
 dp_symb_add",Pdp_symb_add,2},
 dp_tdiv",Pdp_tdiv,2},
@@ -94,11 +92,8 @@ dp_true_nf_mod",Pdp_true_nf_mod,5},
 dp_weyl_act",Pdp_weyl_act,2},
 dp_weyl_mul",Pdp_weyl_mul,2},
 dp_weyl_mul_mod",Pdp_weyl_mul_mod,3},
-dp_weyl_nf",Pdp_weyl_nf,4},
 dp_weyl_nf_f",Pdp_weyl_nf_f,4},
-dp_weyl_nf_mod",Pdp_weyl_nf_mod,5},
 dp_weyl_red",Pdp_weyl_red,3},
-dp_weyl_set_weight",Pdp_weyl_set_weight,-1},
 dp_weyl_sp",Pdp_weyl_sp,2},
 dpv_hc",Pdpv_hc,1},
 dpv_hm",Pdpv_hm,1},