Now possibility_tac and basic_possibility_tac are explicit functions, in order to delay the evaluation of \!simpset
Now possibility_tac and basic_possibility_tac are explicit functions, in order
to delay the evaluation of \!simpset

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