[isabelle] Documentation glitch in function.pdf


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,

Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

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

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