Theory Unification_Tactics

✐‹creator "Kevin Kappelmann"›
theory Unification_Tactics
  imports
    Unify_Assumption_Tactic
    Unify_Resolve_Tactics
    Unify_Fact_Tactic
begin

end