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();
}
void finalize_library_module() {
finalize_composition_manager();
finalize_class_instance_elaborator();
finalize_user_recursors();
finalize_relation_manager();
finalize_abbreviation();
finalize_normalize();
finalize_projection();
finalize_pp_options();
finalize_library_util();
finalize_class();
finalize_sorry();
finalize_unifier_plugin();
finalize_coercion();
finalize_aliases();
finalize_reducible();
finalize_scoped_ext();
finalize_private();
finalize_protected();
finalize_module();
finalize_explicit();
finalize_annotation();
finalize_resolve_macro();
finalize_string();
finalize_num();
finalize_choice();
finalize_typed_expr();
finalize_let();
finalize_kernel_serializer();
finalize_unifier();
finalize_io_state();
finalize_kernel_bindings();
finalize_idx_metavar();
finalize_placeholder();
finalize_print();
finalize_fingerprint();
finalize_constants();
}
