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.

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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