void initialize_tactic_module() {
initialize_kabstract();
initialize_tactic_state();
initialize_intro_tactic();
initialize_revert_tactic();
initialize_rename_tactic();
initialize_clear_tactic();
initialize_app_builder_tactics();
initialize_subst_tactic();
initialize_exact_tactic();
initialize_change_tactic();
initialize_assert_tactic();
initialize_apply_tactic();
initialize_fun_info_tactics();
initialize_congr_lemma_tactics();
initialize_match_tactic();
initialize_ac_tactics();
initialize_induction_tactic();
initialize_cases_tactic();
initialize_generalize_tactic();
initialize_rewrite_tactic();
initialize_unfold_tactic();
initialize_simplify();
initialize_backward_module();
initialize_elaborate();
initialize_user_attribute();
initialize_eval();
initialize_simp_lemmas();
initialize_eqn_lemmas();
initialize_dsimplify();
initialize_vm_monitor();
}
void initialize_simplifier_module() {
register_trace_class("simplifier");
initialize_simp_util();
initialize_simp_lemmas();
initialize_simp_extensions();
initialize_prop_simplifier();
initialize_arith_simplifier();
initialize_theory_simplifier();
initialize_simplifier();
}
