Mercurial > 13ws.ds
comparison notes/tex/preamble.tex @ 22:dc6b569c57c8
fifth slides and sheet
| author | Markus Kaiser <markus.kaiser@in.tum.de> |
|---|---|
| date | Mon, 18 Nov 2013 23:49:37 +0100 |
| parents | 7fed03e118ea |
| children | 4436f8006ebd |
comparison
equal
deleted
inserted
replaced
| 21:03a0cf37ddaa | 22:dc6b569c57c8 |
|---|---|
| 22 \usetikzlibrary{automata} | 22 \usetikzlibrary{automata} |
| 23 \usetikzlibrary{calc} | 23 \usetikzlibrary{calc} |
| 24 \usetikzlibrary{shapes} | 24 \usetikzlibrary{shapes} |
| 25 \usetikzlibrary{positioning} | 25 \usetikzlibrary{positioning} |
| 26 \usetikzlibrary{chains} | 26 \usetikzlibrary{chains} |
| 27 \usetikzlibrary{fit} | |
| 27 | 28 |
| 28 \usepackage{amsmath} | 29 \usepackage{amsmath} |
| 29 \usepackage{mathdots} | 30 \usepackage{mathdots} |
| 30 \usepackage{mathtools} | 31 \usepackage{mathtools} |
| 31 \mathtoolsset{showonlyrefs,showmanualtags} | 32 \mathtoolsset{showonlyrefs,showmanualtags} |
| 32 \usepackage{mathrsfs} | 33 \usepackage{mathrsfs} |
| 33 \usepackage{csquotes} | 34 \usepackage{csquotes} |
| 34 \usepackage{wasysym} | 35 \usepackage{wasysym} |
| 36 | |
| 37 \usepackage[noend]{algpseudocode} | |
| 38 % Proof trees | |
| 39 \usepackage{bussproofs} | |
| 35 | 40 |
| 36 \usepackage{beamerthemeLEA2} | 41 \usepackage{beamerthemeLEA2} |
| 37 | 42 |
| 38 \newcommand{\N}{\mathbb{N}} | 43 \newcommand{\N}{\mathbb{N}} |
| 39 \newcommand{\Z}{\mathbb{Z}} | 44 \newcommand{\Z}{\mathbb{Z}} |