List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");
L.out_include ooch (R.get_string "xoa.notations" ^ ".ma");
List.iter (E.generate ooch noch) (R.get_list unm_ex "xoa.ex");
List.iter (L.out_include ooch) (R.get_list R.string "xoa.include");
L.out_include ooch (R.get_string "xoa.notations" ^ ".ma");
List.iter (E.generate ooch noch) (R.get_list unm_ex "xoa.ex");