[isabelle] Turning an Eisbach method into a simple method
Dear Eisbach experts,
I have an Eisbach method, which per default acts as "structured method"
However, I would like to turn it into a "simple method" (like simp, blast
and friends) by essentially mimicking the behaviour of
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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and