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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and