-#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 445
+#LyX file created by tex2lyx 2.2
+\lyxformat 480
\begin_document
\begin_header
\textclass amsart
\maintain_unincluded_children false
\language english
\language_package default
-\inputencoding latin9
+\inputencoding iso8859-15
\fontencoding T1
\font_roman default
\font_sans default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 0
+\use_package cancel 0
\use_package esint 1
\use_package mathdots 0
\use_package mathtools 0
\use_package mhchem 0
+\use_package stackrel 0
+\use_package stmaryrd 0
\use_package undertilde 0
\cite_engine basic
-\cite_engine_type numerical
+\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\begin_body
\begin_layout Standard
-
This is a dummy file
\end_layout
\begin_layout Standard
-
It has a theorem, a lemma and a proof.
\end_layout
\begin_layout Standard
-
The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
\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
-
+\begin_layout Plain Layout
LyX
\end_layout
\end_layout
\begin_layout Standard
-
The proof is recognized as a builtin style provided by the text class.
\end_layout
\begin_layout Standard
-
\begin_inset ERT
status collapsed
-\begin_layout Standard
-
+\begin_layout Plain Layout
\backslash
begin{lem}
\begin_inset ERT
status collapsed
-\begin_layout Standard
-
+\begin_layout Plain Layout
\backslash
end{lem}
\end_layout
\begin_layout Theorem
-
this is the theorem
\end_layout
\begin_layout Proof
-
this is the proof
\end_layout