[isabelle] Turning an Eisbach method into a simple method



 Dear Eisbach experts,

I have an Eisbach method, which per default acts as "structured method"
(like rule).
However, I would like to turn it into a "simple method" (like simp, blast
and friends) by essentially mimicking the behaviour of
  apply -
  apply <Eisbach method>

Browsing the manuals and the source of method.ml, I wasn't able to figure
out a way to do so. Is there an easy one?

Simon



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.