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: Dec 07 2024 at 16:22 UTC