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: Sep 14 2025 at 01:42 UTC