Theory Zippy_Tactics_Base

✐‹creator "Kevin Kappelmann"›
section ‹Zippy Tactics›
theory Zippy_Tactics_Base
  imports
    Zippy_Goal_Pos_Updates_Base
begin

ML_file‹zippy_rtactic_result.ML›
ML_file‹zippy_rtactic.ML›

ML_file‹zippy_ztactic_result.ML›
ML_file‹zippy_ztactic.ML›

end