REFSIG_FILES =\
	refine_error_sig\
	term_sig\
	term_base_sig\
	term_op_sig\
	term_man_sig\
	term_addr_sig\
	term_subst_sig\
	term_shape_sig\
	term_eval_sig\
	term_meta_sig\
	rewrite_sig\
	refine_sig\
	term_base_minimal_sig\
	term_subst_minimal_sig\
	term_man_minimal_sig\
	refine_minimal_sig\
	termmod_sig\
	term_hash_sig\
	term_norm_sig\
	termmod_hash_sig\
	refiner_sig
