Re: [isabelle] function (tailrec,sequential) fails



Joachim Breitner wrote:
thanks. Now a beginner question: Do you have to rebuild Isabelle to have
this fix, or can I just patch the file and it will work?

You have to rebuild, by running the "build" script at the root of the Isabelle tree.

Alex





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