✐‹creator "Kevin Kappelmann"› section ‹Unification Tactics› theory Unification_Tactics imports Unify_Assumption_Tactic Unify_Resolve_Tactics Unify_Fact_Tactic begin paragraph ‹Summary› text ‹Tactics with adjustable unifiers.› end