werkstuk.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

% vim: set spelllang=nl:
\documentclass[a4paper]{article}

\title{De semantiek van Smurf} %todo working title
\author{Evi Sijben, Ward Theunisse en Camil Staps}

% Standaard packages
\usepackage[hidelinks]{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[dutch,shorthands=off]{babel}
\usepackage{geometry}

% Taakspecifieke packages
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{array}
\usepackage{caption}
\usepackage{enumitem}
\usepackage{framed}
\usepackage{pdflscape}
\usepackage{pdfpages}
\usepackage{prooftree}
\usepackage{stackrel}
\usepackage{syntax}
\usepackage{thmtools}

\usepackage{clean}
\lstset{language=Clean,breaklines,tabsize=2,xleftmargin=\parindent}

% Eigen packages
\usepackage{smurf}
\input{rule-defs}

% Settings, fixes
\setlist{itemsep=0pt}
\addto\extrasdutch{%
	\renewcommand{\sectionautorefname}{Hoofdstuk}
	\renewcommand{\subsectionautorefname}{Paragraaf}
	\renewcommand{\figureautorefname}{Figuur}
}

% Eigen commando's en environments, niet specifiek voor Smurf
\declaretheoremstyle[
	title=Voorbeeld,
	parent=section,
	preheadhook=\framed,
	prefoothook=\endframed,
]{lined}
\declaretheorem[style=lined]{exmp}

\newtheorem{thm}{Stelling}

\begin{document}

\maketitle

\input{abs}
\input{intro}
\input{def}
\input{rules}
\input{sosexamp}
\input{cleansmurf}
\input{analyse}
\input{refs}

\clearpage
\appendix
\input{app-rules.tex}
\input{app-trees.tex}

\end{document}