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_tactic_module() {
finalize_check_expr_tactic();
finalize_change_tactic();
finalize_rewrite_tactic();
finalize_class_instance_elaborator();
finalize_assert_tactic();
finalize_inversion_tactic();
finalize_revert_tactic();
finalize_clear_tactic();
finalize_whnf_tactic();
finalize_generalize_tactic();
finalize_unfold_tactic();
finalize_exact_tactic();
finalize_trace_tactic();
finalize_intros_tactic();
finalize_rename_tactic();
finalize_apply_tactic();
finalize_expr_to_tactic();
finalize_proof_state();
finalize_goal();
}