[isabelle] Documentation glitch in function.pdf



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

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

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



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