...and therefore import of AMS documents is messed up. See here:
http://www.mail-archive.com/[email protected]/msg70390.html
A short-term fix would just automatically load the AMS modules with AMS
classes. A longer-term fix would have some kind of mapping from
environments and commands to modules.
Richard
