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


Am Dienstag, den 31.08.2010, 10:19 +0200 schrieb Alexander Krauss:
> I just pushed a quick fix, which seems to help here, and also makes your 
> real example go through:
> The patch also works for the Isabelle2009-2 release.
> Hope this helps...

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?


Joachim "nomeata" Breitner
  mail: mail at | ICQ# 74513189 | GPG-Key: 4743206C
  JID: nomeata at |
  Debian Developer: nomeata at

Attachment: signature.asc
Description: This is a digitally signed message part

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