Theory ML_Identifiers

✐‹creator "Kevin Kappelmann"›
section ‹Identifiers›
theory ML_Identifiers
  imports Pure
begin

paragraph ‹Summary›
text ‹Identifiers for ML frameworks.›

ML_file‹identifier.ML›

end