When I convert an article to entcs format I get the problem: 1) If I leave the Theorems module enabled. I get errors claiming e.g. “Command \proof already defined” 2) If I delete the Theorems module then LyX claims that lists the Lemma environment as "Lemma (unknown)".
I attach the patch I am using to work around this, it adds a
"theorems-nopreamble-fullnames.inc" file that is similar to
theorems.inc, but does not add definitions to the preamble, and uses
the full names in the LaTeX output "e.g. \begin{lemma}" instead of
"\begin{lem}" .
Presumably this problem has occurred before in other layout files, and
there is already a ready made solution and so we don't need to add
"theorems-nopreamble-fullnames.inc". However, I can't find the
solution using e.g. Google, nor does including any of the existing
theorem files seem to do the trick.
--
John C. McCabe-Dansted
fix_ENTCS_lemma.layout
Description: Binary data
