Re: [isabelle] Decision procedures through computation & code_reflect

Hi Wenda,

> Many thanks for your help. With code_reflect and static hold, my tactics
> work like magic. I think it would be ideal to include such things in the
> code generation tutorial.

in some sense, sure.  Anyway I hope to provide better mechanisms at some
point in the future which get along without all that technical detail.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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