Theory Unification_Attributes_Base

✐‹creator "Kevin Kappelmann"›
section ‹Unification Attributes›
theory Unification_Attributes_Base
  imports Unify_Resolve_Tactics_Base
begin

paragraph ‹Summary›
text ‹Attributes with adjustable unifier.›

ML_file‹unify_OF_base.ML›
ML_file‹unify_OF.ML›

ML_file‹unify_THEN_base.ML›
ML_file‹unify_THEN.ML›

end