mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-14 06:57:01 +00:00
958 lines
14 KiB
Plaintext
958 lines
14 KiB
Plaintext
|
#LyX 2.2 created this file. For more info see http://www.lyx.org/
|
||
|
\lyxformat 501
|
||
|
\begin_document
|
||
|
\begin_header
|
||
|
\origin /systemlyxdir/examples/
|
||
|
\textclass scrartcl
|
||
|
\options DIV=12
|
||
|
\use_default_options true
|
||
|
\begin_modules
|
||
|
varwidth
|
||
|
\end_modules
|
||
|
\maintain_unincluded_children false
|
||
|
\language british
|
||
|
\language_package default
|
||
|
\inputencoding auto
|
||
|
\fontencoding global
|
||
|
\font_roman "lmodern" "default"
|
||
|
\font_sans "default" "default"
|
||
|
\font_typewriter "default" "default"
|
||
|
\font_math "auto" "auto"
|
||
|
\font_default_family default
|
||
|
\use_non_tex_fonts false
|
||
|
\font_sc false
|
||
|
\font_osf false
|
||
|
\font_sf_scale 100 100
|
||
|
\font_tt_scale 100 100
|
||
|
\graphics default
|
||
|
\default_output_format default
|
||
|
\output_sync 0
|
||
|
\bibtex_command default
|
||
|
\index_command default
|
||
|
\paperfontsize 10
|
||
|
\spacing single
|
||
|
\use_hyperref false
|
||
|
\papersize default
|
||
|
\use_geometry false
|
||
|
\use_package amsmath 1
|
||
|
\use_package amssymb 1
|
||
|
\use_package cancel 1
|
||
|
\use_package esint 1
|
||
|
\use_package mathdots 1
|
||
|
\use_package mathtools 1
|
||
|
\use_package mhchem 1
|
||
|
\use_package stackrel 1
|
||
|
\use_package stmaryrd 1
|
||
|
\use_package undertilde 1
|
||
|
\cite_engine basic
|
||
|
\cite_engine_type default
|
||
|
\biblio_style plain
|
||
|
\use_bibtopic false
|
||
|
\use_indices false
|
||
|
\paperorientation portrait
|
||
|
\suppress_date false
|
||
|
\justification true
|
||
|
\use_refstyle 0
|
||
|
\index Index
|
||
|
\shortcut idx
|
||
|
\color #008000
|
||
|
\end_index
|
||
|
\secnumdepth 3
|
||
|
\tocdepth 3
|
||
|
\paragraph_separation indent
|
||
|
\paragraph_indentation default
|
||
|
\quotes_language english
|
||
|
\papercolumns 1
|
||
|
\papersides 1
|
||
|
\paperpagestyle default
|
||
|
\tracking_changes false
|
||
|
\output_changes false
|
||
|
\html_math_output 0
|
||
|
\html_css_as_file 0
|
||
|
\html_be_strict false
|
||
|
\end_header
|
||
|
|
||
|
\begin_body
|
||
|
|
||
|
\begin_layout Title
|
||
|
Floats Side-by-Side
|
||
|
\begin_inset Newline newline
|
||
|
\end_inset
|
||
|
|
||
|
Using the Varwidth Module
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Section
|
||
|
Graphics side-by-side
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Standard
|
||
|
\begin_inset Float figure
|
||
|
placement H
|
||
|
wide false
|
||
|
sideways false
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Flex Minipage (Var. Width)
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Argument 1
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
t
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Graphics
|
||
|
filename ../doc/clipart/escher-lsd.eps
|
||
|
width 4cm
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Caption Standard
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
escher-lsd.eps
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Flex Minipage (Var. Width)
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Argument 1
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
t
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Graphics
|
||
|
filename ../doc/clipart/platypus.eps
|
||
|
width 4cm
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Caption Standard
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
platypus.eps
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Section
|
||
|
Tables side-by-side
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Standard
|
||
|
\begin_inset Float table
|
||
|
placement H
|
||
|
wide false
|
||
|
sideways false
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Flex Minipage (Var. Width)
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Argument 1
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
t
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Caption Standard
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
Addition
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset VSpace defskip
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Tabular
|
||
|
<lyxtabular version="3" rows="5" columns="5">
|
||
|
<features tabularvalignment="middle">
|
||
|
<column alignment="center" valignment="top" width="0pt">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
1
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
1
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
5
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
5
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
6
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
5
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
6
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
7
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
5
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
6
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
7
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
8
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
</lyxtabular>
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Flex Minipage (Var. Width)
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Argument 1
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
t
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Caption Standard
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
Multiplication
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset VSpace defskip
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Tabular
|
||
|
<lyxtabular version="3" rows="6" columns="5">
|
||
|
<features tabularvalignment="middle">
|
||
|
<column alignment="center" valignment="top" width="0pt">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<column alignment="center" valignment="top">
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
1
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
1
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
1
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
2
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
6
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
8
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
3
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
6
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
9
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
12
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
4
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
8
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
12
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
16
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
<row>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
5
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
5
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
10
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
15
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
<cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
|
||
|
\begin_inset Text
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
20
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
</cell>
|
||
|
</row>
|
||
|
</lyxtabular>
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Section
|
||
|
Text side-by-side
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Standard
|
||
|
\begin_inset Float figure
|
||
|
placement H
|
||
|
wide false
|
||
|
sideways false
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Flex Minipage (Var. Width)
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Argument 1
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
b
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
|
||
|
$
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Newline newline
|
||
|
\end_inset
|
||
|
|
||
|
(Subject to
|
||
|
\emph on
|
||
|
|
||
|
\begin_inset Formula $\alpha$
|
||
|
\end_inset
|
||
|
|
||
|
-equivalence
|
||
|
\emph default
|
||
|
)
|
||
|
\end_layout
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Caption Standard
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
Terms
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Flex Minipage (Var. Width)
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
\begin_inset Argument 1
|
||
|
status open
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
b
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
|
||
|
\lambda x(Mx) & \rightarrow M
|
||
|
\end{aligned}
|
||
|
$
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset Caption Standard
|
||
|
|
||
|
\begin_layout Plain Layout
|
||
|
Reduction
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\begin_inset space \hfill{}
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_inset
|
||
|
|
||
|
|
||
|
\end_layout
|
||
|
|
||
|
\end_body
|
||
|
\end_document
|