Re: [isabelle] Documentation glitch in function.pdf

Done. I have also added a referece to partial_function.


On 28/06/2014 00:28, Joachim Breitner wrote:
> Hi,
> a small glitch that someone might want to fix before the next release (if
> it is not fixed already): The abstract of “Defining Recursive Functions in
> Isabelle/HOL” mentions “tail recursion”, but that is not discussed in that
> document, probably because this is now part of partial_function and
> explained in isar-ref.
> Greetings from Eugene, Joachim

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