Exemple #1
0
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();
}
Exemple #2
0
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();
}