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
96 \begin_layout Plain Layout
102 , and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
107 \begin_layout Standard
108 The proof is recognized as a builtin style provided by the text class.
111 \begin_layout Standard
116 \begin_layout Plain Layout
128 \begin_layout Plain Layout
139 \begin_layout Theorem