Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Documentation glitch in function.pdf

view this post on Zulip Email Gateway (Aug 19 2022 at 14:39):

From: Joachim Breitner <breitner@kit.edu>
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
signature.asc

view this post on Zulip Email Gateway (Aug 19 2022 at 15:00):

From: Tobias Nipkow <nipkow@in.tum.de>
Done. I have also added a referece to partial_function.

Thanks
Tobias

Last updated: Apr 20 2024 at 01:05 UTC