Stream: Isabelle/ML

Topic: ✔ Do not note function theorems

view this post on Zulip Jan van Brügge (Sep 17 2022 at 15:24):

Binding.concealed on the name of the function worked

view this post on Zulip Notification Bot (Sep 17 2022 at 15:25):

Jan van Brügge has marked this topic as resolved.

Last updated: Feb 19 2026 at 05:22 UTC