.consign
*.cm*
*~
*#*
Makefile.dep
refine_sig.mli
refiner_sig.mli
resource.mli
rewrite_sig.mli
term_addr_sig.mli
term_eval_sig.mli
term_man_sig.mli
term_meta_sig.mli
term_op_sig.mli
term_shape_sig.mli
term_sig.mli
term_subst_sig.mli
refine_sig.ml
refiner_sig.ml
resource.ml
rewrite_sig.ml
term_addr_sig.ml
term_eval_sig.ml
term_man_sig.ml
term_meta_sig.ml
term_op_sig.ml
term_shape_sig.ml
term_sig.ml
term_subst_sig.ml
term_simple_sig.ml
term_simple_sig.mli
term_base_sig.ml
term_base_sig.mli
refine_error_sig.ml
refine_error_sig.mli
term_base_minimal_sig.ml
term_base_minimal_sig.mli
term_norm_sig.ml
term_norm_sig.mli
term_subst_minimal_sig.ml
term_subst_minimal_sig.mli
term_hash_sig.ml
term_hash_sig.mli
termmod_sig.ml
termmod_sig.mli
gmon.out
refine_minimal_sig.ml
refine_minimal_sig.mli
termmod_hash_sig.ml
termmod_hash_sig.mli
term_man_minimal_sig.ml
term_man_minimal_sig.mli
