Re: [isabelle] Performing global rewrites on the code setup



> Could this could be problematic because of potential loops where
> something in the preprocessor of the code will invoke the preprocessor
> again to obtain code equations? In any case, I'll try it out and let you
> know.

It looks like it works. As a precautionary measure, I have wrapped the
simproc into a declaration flag so that I can disable it further down
the recursive invocation.

Cheers
Lars




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