Task 2

1 files changed, 79 insertions, 0 deletions

diff --git a/sl1defs.tex b/sl1defs.tex
new file mode 100644
index 0000000..36355d2
--- /dev/null
+++ b/sl1defs.tex
@@ -0,0 +1,79 @@
+\newcommand{\calA}[1]{{\cal A}\llbracket #1 \rrbracket}
+\newcommand{\calB}[1]{{\cal B}\llbracket #1 \rrbracket}
+\newcommand{\CC}{{\mathbb C}}
+\newcommand{\desda}{\leftrightarrow}
+\newcommand{\Desda}{\Leftrightarrow}
+\newcommand{\dimpl}{\Rightarrow}
+\newcommand{\espace}{\hspace*{0.2cm}}
+\newcommand{\impl}{\rightarrow}
+\newcommand{\mgeq}{\begin{math}\geq\end{math}}
+\newcommand{\mggd}{\mbox{ggd}}
+\newcommand{\mgcd}{\mbox{gcd}}
+\newcommand{\minv}{\mbox{INV}}
+\newcommand{\mneg}{\begin{math}\neg\end{math}}
+\newcommand{\mneq}{\begin{math}\neq\end{math}}
+\newcommand{\mwedge}{\begin{math}\wedge\end{math}}
+\newcommand{\NN}{{\mathbb N}}
+\newcommand{\postboven}{}
+\newcommand{\postonder}{}
+\newcommand{\preboven}{}
+\newcommand{\preonder}{}
+\newcommand{\punten}[1]{\marginpar{\fbox{#1}}}
+\newcommand{\QQ}{{\mathbb Q}}
+\newcommand{\RR}{{\mathbb R}}
+\newcommand{\psq}[3]{\{#1\}\espace #2 \espace \{#3\}}
+\newcommand{\psqsr}[5]{\{#1\}\espace #2 \espace \{#3\} \espace #4 \espace \{#5\}}
+\newcommand{\psqsrst}[7]{\{#1\}\espace #2 \espace \{#3\} \espace #4 \espace \{#5\} \espace #6 \espace \{#7\}}
+\newcommand{\psqan}[5]{\{#1\}^{#4}\espace #2 \espace \{#3\}^{#5}}
+\newcommand{\allttmath}[1]{\begin{math}#1\end{math}}
+\newcommand{\allttsup}[1]{\begin{math}^{#1}\end{math}}
+\newcommand{\allttsub}[1]{\begin{math}_{#1}\end{math}}
+
+\newcommand{\sblock}[2]{\mbox{\texttt{begin~}}#1\espace#2\mbox{\texttt{~end}}}
+\newcommand{\svar}[2]{\mbox{\texttt{var~}}#1:=#2;}
+\newcommand{\sass}[2]{#1:=#2}
+\newcommand{\scomp}[2]{#1;#2}
+\newcommand{\sifthenelse}[3]{\mbox{\texttt{if~}}#1\mbox{\texttt{~then~}}#2\mbox{\texttt{~else~}}#3}
+\newcommand{\sor}[2]{#1\mbox{\texttt{~or~}}#2}
+\newcommand{\srepeatuntil}[2]{\mbox{\texttt{repeat~}}#1\mbox{\texttt{~until~}}#2}
+\newcommand{\sskip}{\mbox{\texttt{skip}}}
+\newcommand{\swhile}[2]{\mbox{\texttt{while~}}#1\mbox{\texttt{~do~}}#2}
+\newcommand{\swhileuntil}[3]{\mbox{\texttt{while~}}#1\mbox{\texttt{~do~}}#2\mbox{\texttt{~until~}}#3}
+\newcommand{\trans}[3]{\langle #1, #2\rangle \impl #3}
+\newcommand{\ZZ}{{\mathbb Z}}
+\newenvironment{sol}{\expandafter\ifsols\par{\bf{Oplossing:}\\}}{\par\expandafter\fi}
+\newcommand{\mtt}{\mbox{tt}}
+\newcommand{\mff}{\mbox{ff}}
+\newcommand{\mwhile}{\mbox{while}}
+\newcommand{\mif}{\mbox{if}}
+\newcommand{\mthen}{\mbox{then}}
+\newcommand{\melse}{\mbox{else}}
+\newcommand{\mdo}{\mbox{do}}
+\newcommand{\mmskip}{\mbox{skip}}
+\newcommand{\mtrue}{\mbox{true}}
+\newcommand{\mfalse}{\mbox{false}}
+\newcommand{\rskipp}{[\mbox{skip}_{\mbox{p}}]}
+\newcommand{\rassp}{[\mbox{ass}_{\mbox{p}}]}
+\newcommand{\rcompp}{[\mbox{comp}_{\mbox{p}}]}
+\newcommand{\rifp}{[\mbox{if}_{\mbox{p}}]}
+\newcommand{\rwhilep}{[\mbox{while}_{\mbox{p}}]}
+\newcommand{\rconsp}{[\mbox{cons}_{\mbox{p}}]}
+\newcommand{\rvar}{[\mbox{var}_{\mbox{ns}}]}
+\newcommand{\rnone}{[\mbox{none}_{\mbox{ns}}]}
+\newcommand{\rass}{[\mbox{ass}_{\mbox{ns}}]}
+\newcommand{\rskip}{[\mbox{skip}_{\mbox{ns}}]}
+\newcommand{\rcomp}{[\mbox{comp}_{\mbox{ns}}]}
+\newcommand{\riftt}{[\mbox{if}_{\mbox{ns}}^{\mbox{tt}}]}
+\newcommand{\rifff}{[\mbox{if}_{\mbox{ns}}^{\mbox{ff}}]}
+\newcommand{\rwhilett}{[\mbox{while}_{\mbox{ns}}^{\mbox{tt}}]}
+\newcommand{\rwhileff}{[\mbox{while}_{\mbox{ns}}^{\mbox{ff}}]}
+\newcommand{\rwhileuntilttff}{[\mbox{while-until}_{\mbox{ns}}^{\mbox{ttff}}]}
+\newcommand{\rwhileuntiltttt}{[\mbox{while-until}_{\mbox{ns}}^{\mbox{tttt}}]}
+\newcommand{\rwhileuntilff}{[\mbox{while-until}_{\mbox{ns}}^{\mbox{ff}}]}
+\newcommand{\rcall}{[\mbox{call}_{\mbox{ns}}]}
+\newcommand{\rcallrec}{[\mbox{call}_{\mbox{ns}}^{\mbox{rec}}]}
+\newcommand{\strans}[4]{{#1} \vdash \langle {#2}, {#3} \rangle \rightarrow {#4}}
+\newcommand{\dtrans}[3]{\langle {#1}, {#2} \rangle \rightarrow_{D} {#3}}
+
+\newcommand{\axjustifies}{\thickness0em\justifies}
+\endinput