-#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 449
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 491
\begin_document
\begin_header
+\origin roundtrip
\textclass amsart
\begin_preamble
\usepackage{babel}
-
\end_preamble
\use_default_options false
\begin_modules
theorems-ams
+eqs-within-sections
+figs-within-sections
\end_modules
\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.
+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
-
-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
\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_inset ERT
status collapsed
-\begin_layout Standard
+\begin_layout Plain Layout
\backslash
\end_layout
\begin_layout Theorem
-
this is the theorem
\end_layout
\begin_layout Proof
-
this is the proof
\end_layout