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: Jan 08 2026 at 16:33 UTC