Theory ML_Args_Antiquotations

✐‹creator "Kevin Kappelmann"›
section ‹ML Arguments Antiquotations›
theory ML_Args_Antiquotations
  imports
    ML_Unification.ML_Functor_Instances
begin

paragraph ‹Summary›
text ‹Antiquotation for lists of ML arguments›

ML_file‹args_antiquotations.ML›

end