Theory Subgoal_Focus_Some

theory Subgoal_Focus_Some
imports Main
begin
  ML_file ‹subgoal_focus_some.ML›

end