Re: [isabelle] using simproc





On 2/22/2016 8:29 PM, Makarius wrote:


Instead, the simproc should be defined once beforehand, e.g. via simproc_setup, and then used via the @{simproc} antiquotation.

This solved my problem. Thank you.

Viorel





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