I'm not sure what happened with my previous reply; it seems to be disconnected from this thread. At any rate, I tried another hack: rather than including all the starred theorems (possible undesired pollution of the environment drop-down list), I just hacked theorems-named.module to replace the "CopyStyle Theorem*" line with the necessary lines from the Theorem* style. In tests, it seems work as expected, allowing the named theorems module to be used with any otherwise legal combination of theorem-related modules (or by itself, without any other theorem modules).
Should we move this over to the developer forum as an RFC, or should I just file a ticket with the fix attached? Paul
