LaTeX.org

You could change the style, alternatively you could make those definitions yourself in the preamble, as the LaTeX export shows but without the optional thm counter. For this, go to Document settings in LyX where you find an edit field for the preamble.


Thanks for your quick response Stefan ...

Hi,

I'm having the same problem. The attached LyX file generates the following LaTeX code.
%% LyX 2.0.3 created this file. For more info, see http://www.lyx.org/.
%% Do not edit unless you really know what you are doing.
\documentclass[english]{IEEEtran}
\usepackage[latin9]{inputenc}
\usepackage ...