Stream: Isabelle/ML

Topic: Detect Mutual Recursion

view this post on Zulip Jonas Stahl (Dec 06 2023 at 11:24):

Hi,
given the name / Const term of a function, is there an easy way to detect if the function defined together with another function mutually calling each other?

Last updated: Feb 25 2026 at 08:53 UTC