When I use the AMS, springer-ejour2, revtex.... class, only some attributes are translatet correct into german. So the dvi output translates Proof correct to the german "Beweis", but Corollary is still Corollary. I use lyx 1.1.6.4.
Steffen Schwientek
