[isabelle] Eisbach documentation



Dear Eisbachers,

it might be a good idea to mention how to set up a theory file for using
Eisbach (at least I didn't spot a corresponding hint in "isabelle doc
eisbach").

The reason I mention this is the following stackoverflow question:


https://stackoverflow.com/questions/49275588/isabelle-2017-support-for-proof-method-definitons-seems-to-be-lacking

cheers

chris




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