void finalize_tactic_module() {
finalize_vm_monitor();
finalize_dsimplify();
finalize_eqn_lemmas();
finalize_simp_lemmas();
finalize_eval();
finalize_user_attribute();
finalize_elaborate();
finalize_backward_module();
finalize_simplify();
finalize_unfold_tactic();
finalize_rewrite_tactic();
finalize_generalize_tactic();
finalize_cases_tactic();
finalize_induction_tactic();
finalize_ac_tactics();
finalize_match_tactic();
finalize_congr_lemma_tactics();
finalize_fun_info_tactics();
finalize_apply_tactic();
finalize_assert_tactic();
finalize_change_tactic();
finalize_exact_tactic();
finalize_subst_tactic();
finalize_app_builder_tactics();
finalize_clear_tactic();
finalize_rename_tactic();
finalize_revert_tactic();
finalize_intro_tactic();
finalize_tactic_state();
finalize_kabstract();
}
void finalize_simplifier_module() {
finalize_simplifier();
finalize_theory_simplifier();
finalize_arith_simplifier();
finalize_prop_simplifier();
finalize_simp_extensions();
finalize_simp_lemmas();
finalize_simp_util();
}
