You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'll probably change the multi-line comments from comma separated &str, to Vec's, and the multi-line's will be in tuple pairings, so that comments aren't ended accidentally by a different closing comment.
Isabelle theories want something like this
Where all of those comment styles are used pretty ubiquitously.
The text was updated successfully, but these errors were encountered: