Paul Rubin Fri, 06 Sep 2013 14:26:52 -0700
Does it help to put NoStyle Problem
in your layout immediately after the point where you load the AMS Theorems module? Paul