Stream: Isabelle/ML

Topic: ✔ Do not note function theorems

Jan van Brügge (Sep 17 2022 at 15:24):

Binding.concealed on the name of the function worked

Notification Bot (Sep 17 2022 at 15:25):

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

Last updated: Oct 17 2025 at 01:39 UTC