1 #LyX file created by tex2lyx 2.2
10 \use_default_options false
14 \maintain_unincluded_children false
16 \language_package default
17 \inputencoding iso8859-15
21 \font_typewriter default
23 \font_default_family default
24 \use_non_tex_fonts false
30 \default_output_format default
32 \bibtex_command default
33 \index_command default
34 \paperfontsize default
39 \use_package amsmath 1
40 \use_package amssymb 0
43 \use_package mathdots 0
44 \use_package mathtools 0
46 \use_package stackrel 0
47 \use_package stmaryrd 0
48 \use_package undertilde 0
50 \cite_engine_type default
54 \paperorientation portrait
64 \paragraph_separation indent
65 \paragraph_indentation default
66 \quotes_language english
69 \paperpagestyle default
70 \tracking_changes false
79 \begin_layout Standard
83 \begin_layout Standard
84 It has a theorem, a lemma and a proof.
87 \begin_layout Standard
88 The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
91 \begin_layout Standard
92 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
97 \begin_layout Standard
98 The proof is recognized as a builtin style provided by the text class.
101 \begin_layout Standard
106 \begin_layout Plain Layout
118 \begin_layout Plain Layout
129 \begin_layout Theorem