Removing internal support for accepting "{struct x}" and co in "Theorem with".

There were actually no syntax for it, and I'm still unsure what good
syntax to give to it, even more that it would be useful to have one.

0 files changed, 0 insertions, 0 deletions