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: Dec 21 2024 at 16:20 UTC