✐‹creator "Kevin Kappelmann"› section ‹Actions› theory Zippy_Actions_Base imports SpecCheck.SpecCheck_Show begin ML_file‹zippy_action_result.ML› end