Theory Zippy_Identifiers

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

paragraph ‹Summary›
text ‹Identifiers for Zippy›

ML_file‹zippy_identifier.ML›

end