REFLIB_FILES =\
	rformat\
	simple_print_sig\
	simple_print\
	term_copy_weak\
	term_copy2_weak\
	term_io\
	ascii_io_sig\
	ascii_io\
	ml_format_sig\
	ml_format\
	ml_print_sig\
	ml_print\
	ml_file\
	ml_string\
	ml_term\
	term_eq_table\
	term_match_table\
	term_stable\
	term_dtable\
	mp_resource\
	dform\
	dform_print\
	refine_exn\
	theory\
	term_compare_sig\
	term_compare\
	match_seq\
	unify_mm\
	jlogic_sig\
	jtunify\
	jall\
	arith
