add_library(tactic OBJECT occurrences.cpp kabstract.cpp tactic_state.cpp
  intro_tactic.cpp revert_tactic.cpp clear_tactic.cpp
  app_builder_tactics.cpp subst_tactic.cpp exact_tactic.cpp
  change_tactic.cpp assert_tactic.cpp apply_tactic.cpp
  fun_info_tactics.cpp congr_lemma_tactics.cpp match_tactic.cpp
  induction_tactic.cpp cases_tactic.cpp
  generalize_tactic.cpp rewrite_tactic.cpp unfold_tactic.cpp
  hsubstitution.cpp gexpr.cpp elaborate.cpp init_module.cpp
  simp_result.cpp user_attribute.cpp eval.cpp
  simp_lemmas.cpp eqn_lemmas.cpp dsimplify.cpp simplify.cpp
  destruct_tactic.cpp
  elaborator_exception.cpp tactic_evaluator.cpp)
