show: display goal refinement rule as "state", to avoid odd Output.urgent_message and make its association with the goal more explicit;
show: display goal refinement rule as "state", to avoid odd Output.urgent_message and make its association with the goal more explicit;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle