Re: [isabelle] [isabelle-dev] Code generation in Isabelle



On Tue, 18 Oct 2011, Andreas Lochbihler wrote:

I opt for code_unfold because the code generator's preprocessor is more powerful than mere inlining of definitions.

Good that you have answered the mail by Lukas only on *one* of the two mailing list, to avoid the duplication -- isabelle-dev should be a small subset of the larger audience of isabelle-users.


	Makarius





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