@@ -88,17+92,7 @@ The theorem is recognized is a style provided by the module theorems-ams, since
\end_layout
\begin_layout Standard
\end_layout
\begin_layout Standard
-The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of
-\begin_inset ERT
-status collapsed
-
-\begin_layout Standard
-LyX
-\end_layout
-
-\end_inset
-
-, and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
+The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of LyX, and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
\backslash
theorem.
\end_layout
\backslash
theorem.
\end_layout
@@ -112,7+106,7 @@ The proof is recognized as a builtin style provided by the text class.