-#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 467
+#LyX file created by tex2lyx 2.2
+\lyxformat 480
\begin_document
\begin_header
\textclass amsart
\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