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(); }