Re: LyX theorem environment

[Anders Host-Madsen]

Sorry, I think I was not quite clear about what I would like to do.
I'm using the IEEETran class. I would like to define a new
type of theorem (a "property") that looks the same was as
theorems look in the IEEETran class.