rewrite Directory Reference

Files
	analyze.hh
	check_syntax.hh
	compute_bounds.hh
	dependency.hh
	evaluate.hh
	iesolver.hh
	project.hh
	project_anonymous.hh
	rewrite_anonymous.hh
	rewrite_context.hh
	rewrite_theory.hh
	safety.hh
	simplify.hh
	substitute.hh
	unpool.hh
	unpool_relations.hh
	visit_variables.hh