Re: Turning-off a command from a layout file?

[Paul A . Rubin]

By the way, did you put the NoStyle directive before or after the point
where you load the theorem module? I was thinking after, but it would not
hurt to try both.

Paul