1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
7 \options tablecaptionabove
8 \use_default_options true
12 \maintain_unincluded_children false
14 \language_package default
17 \font_roman "default" "default"
18 \font_sans "default" "default"
19 \font_typewriter "default" "default"
20 \font_math "auto" "auto"
21 \font_default_family default
22 \use_non_tex_fonts false
25 \font_sf_scale 100 100
26 \font_tt_scale 100 100
28 \default_output_format default
30 \bibtex_command default
31 \index_command default
37 \use_package amsmath 1
38 \use_package amssymb 1
41 \use_package mathdots 1
42 \use_package mathtools 1
44 \use_package stackrel 1
45 \use_package stmaryrd 1
46 \use_package undertilde 1
48 \cite_engine_type default
52 \paperorientation portrait
62 \paragraph_separation indent
63 \paragraph_indentation default
64 \quotes_language english
67 \paperpagestyle default
68 \tracking_changes false
78 Floats Side-by-Side using the Module
80 Variable-width Minipages
83 \begin_layout Standard
84 \begin_inset Note Note
87 \begin_layout Plain Layout
88 To view this file you need to have the \SpecialChar LaTeX
101 \begin_layout Section
102 Graphics side-by-side
105 \begin_layout Standard
106 \begin_inset Float figure
112 \begin_layout Plain Layout
113 \begin_inset space \hfill{}
117 \begin_inset Flex Minipage (Var. Width)
120 \begin_layout Plain Layout
121 \begin_inset Argument 1
124 \begin_layout Plain Layout
131 \begin_inset Graphics
132 filename ../doc/clipart/escher-lsd.eps
138 \begin_inset Caption Standard
140 \begin_layout Plain Layout
152 \begin_inset space \hfill{}
156 \begin_inset space \hfill{}
160 \begin_inset Flex Minipage (Var. Width)
163 \begin_layout Plain Layout
164 \begin_inset Argument 1
167 \begin_layout Plain Layout
174 \begin_inset Graphics
175 filename ../doc/clipart/platypus.eps
181 \begin_inset Caption Standard
183 \begin_layout Plain Layout
195 \begin_inset space \hfill{}
206 \begin_layout Section
210 \begin_layout Standard
211 \begin_inset Float table
217 \begin_layout Plain Layout
218 \begin_inset space \hfill{}
222 \begin_inset Flex Minipage (Var. Width)
225 \begin_layout Plain Layout
226 \begin_inset Argument 1
229 \begin_layout Plain Layout
236 \begin_inset Caption Standard
238 \begin_layout Plain Layout
247 \begin_layout Plain Layout
249 <lyxtabular version="3" rows="5" columns="5">
250 <features tabularvalignment="middle">
251 <column alignment="center" valignment="top" width="0pt">
252 <column alignment="center" valignment="top">
253 <column alignment="center" valignment="top">
254 <column alignment="center" valignment="top">
255 <column alignment="center" valignment="top">
257 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
260 \begin_layout Plain Layout
266 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
269 \begin_layout Plain Layout
275 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
278 \begin_layout Plain Layout
284 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
287 \begin_layout Plain Layout
293 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
296 \begin_layout Plain Layout
304 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
307 \begin_layout Plain Layout
313 <cell alignment="center" valignment="top" usebox="none">
316 \begin_layout Plain Layout
322 <cell alignment="center" valignment="top" usebox="none">
325 \begin_layout Plain Layout
331 <cell alignment="center" valignment="top" usebox="none">
334 \begin_layout Plain Layout
340 <cell alignment="center" valignment="top" rightline="true" usebox="none">
343 \begin_layout Plain Layout
351 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
354 \begin_layout Plain Layout
360 <cell alignment="center" valignment="top" usebox="none">
363 \begin_layout Plain Layout
369 <cell alignment="center" valignment="top" usebox="none">
372 \begin_layout Plain Layout
378 <cell alignment="center" valignment="top" usebox="none">
381 \begin_layout Plain Layout
387 <cell alignment="center" valignment="top" rightline="true" usebox="none">
390 \begin_layout Plain Layout
398 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
401 \begin_layout Plain Layout
407 <cell alignment="center" valignment="top" usebox="none">
410 \begin_layout Plain Layout
416 <cell alignment="center" valignment="top" usebox="none">
419 \begin_layout Plain Layout
425 <cell alignment="center" valignment="top" usebox="none">
428 \begin_layout Plain Layout
434 <cell alignment="center" valignment="top" rightline="true" usebox="none">
437 \begin_layout Plain Layout
445 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
448 \begin_layout Plain Layout
454 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
457 \begin_layout Plain Layout
463 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
466 \begin_layout Plain Layout
472 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
475 \begin_layout Plain Layout
481 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
484 \begin_layout Plain Layout
501 \begin_inset space \hfill{}
505 \begin_inset space \hfill{}
509 \begin_inset Flex Minipage (Var. Width)
512 \begin_layout Plain Layout
513 \begin_inset Argument 1
516 \begin_layout Plain Layout
523 \begin_inset Caption Standard
525 \begin_layout Plain Layout
534 \begin_layout Plain Layout
536 <lyxtabular version="3" rows="6" columns="5">
537 <features tabularvalignment="middle">
538 <column alignment="center" valignment="top" width="0pt">
539 <column alignment="center" valignment="top">
540 <column alignment="center" valignment="top">
541 <column alignment="center" valignment="top">
542 <column alignment="center" valignment="top">
544 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
547 \begin_layout Plain Layout
553 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
556 \begin_layout Plain Layout
562 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
565 \begin_layout Plain Layout
571 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
574 \begin_layout Plain Layout
580 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
583 \begin_layout Plain Layout
591 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
594 \begin_layout Plain Layout
600 <cell alignment="center" valignment="top" usebox="none">
603 \begin_layout Plain Layout
609 <cell alignment="center" valignment="top" usebox="none">
612 \begin_layout Plain Layout
618 <cell alignment="center" valignment="top" usebox="none">
621 \begin_layout Plain Layout
627 <cell alignment="center" valignment="top" rightline="true" usebox="none">
630 \begin_layout Plain Layout
638 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
641 \begin_layout Plain Layout
647 <cell alignment="center" valignment="top" usebox="none">
650 \begin_layout Plain Layout
656 <cell alignment="center" valignment="top" usebox="none">
659 \begin_layout Plain Layout
665 <cell alignment="center" valignment="top" usebox="none">
668 \begin_layout Plain Layout
674 <cell alignment="center" valignment="top" rightline="true" usebox="none">
677 \begin_layout Plain Layout
685 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
688 \begin_layout Plain Layout
694 <cell alignment="center" valignment="top" usebox="none">
697 \begin_layout Plain Layout
703 <cell alignment="center" valignment="top" usebox="none">
706 \begin_layout Plain Layout
712 <cell alignment="center" valignment="top" usebox="none">
715 \begin_layout Plain Layout
721 <cell alignment="center" valignment="top" rightline="true" usebox="none">
724 \begin_layout Plain Layout
732 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
735 \begin_layout Plain Layout
741 <cell alignment="center" valignment="top" usebox="none">
744 \begin_layout Plain Layout
750 <cell alignment="center" valignment="top" usebox="none">
753 \begin_layout Plain Layout
759 <cell alignment="center" valignment="top" usebox="none">
762 \begin_layout Plain Layout
768 <cell alignment="center" valignment="top" rightline="true" usebox="none">
771 \begin_layout Plain Layout
779 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
782 \begin_layout Plain Layout
788 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
791 \begin_layout Plain Layout
797 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
800 \begin_layout Plain Layout
806 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
809 \begin_layout Plain Layout
815 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
818 \begin_layout Plain Layout
835 \begin_inset space \hfill{}
846 \begin_layout Section
850 \begin_layout Standard
851 \begin_inset Float figure
857 \begin_layout Plain Layout
858 \begin_inset space \hfill{}
862 \begin_inset Flex Minipage (Var. Width)
865 \begin_layout Plain Layout
866 \begin_inset Argument 1
869 \begin_layout Plain Layout
876 \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
881 \begin_inset Newline newline
887 \begin_inset Formula $\alpha$
895 \begin_layout Plain Layout
896 \begin_inset Caption Standard
898 \begin_layout Plain Layout
910 \begin_inset space \hfill{}
914 \begin_inset space \hfill{}
918 \begin_inset Flex Minipage (Var. Width)
921 \begin_layout Plain Layout
922 \begin_inset Argument 1
925 \begin_layout Plain Layout
932 \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
933 \lambda x(Mx) & \rightarrow M
939 \begin_inset Caption Standard
941 \begin_layout Plain Layout
953 \begin_inset space \hfill{}