rc: Slides/document/root.tex@cfd4b8219c87 (annotated)

18 cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	\documentclass[dvipsnames, 14pt, t, xelatex]{beamer}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	\usepackage{beamerthemeplaincu}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	%%\usepackage{ulem}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	%\usepackage[T1]{fontenc}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	\usepackage{proof}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	%\usepackage[latin1]{inputenc}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	\usepackage{isabelle}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	\usepackage{isabellesym}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	\usepackage{mathpartir}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	\usepackage[absolute, overlay]{textpos}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	\usepackage{proof}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	\usepackage{ifthen}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	\usepackage{animate}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	\usepackage{tikz}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	\usepackage{pgf}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	\usetikzlibrary{arrows}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	\usetikzlibrary{automata}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	\usetikzlibrary{shapes}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	\usetikzlibrary{shadows}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	\usetikzlibrary{calc}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	\usetikzlibrary{shapes.callouts,shapes.arrows,decorations.text}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	\usetikzlibrary{decorations.pathreplacing}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	% Isabelle configuration
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	%%\urlstyle{rm}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	26	\isabellestyle{rm}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	\renewcommand{\isastyle}{\rm}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	\renewcommand{\isastyleminor}{\fontspec{STIXGeneral}}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	\renewcommand{\isastylescript}{\fontsize{8}{10}\selectfont\fontspec{STIXGeneral}\slshape}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	\renewcommand{\isatagproof}{}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	\renewcommand{\endisatagproof}{}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	\renewcommand{\isamarkupcmt}[1]{#1}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	35
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36	% Isabelle characters
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	\renewcommand{\isacharunderscore}{\_}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	\renewcommand{\isacharbar}{\isamath{\mid}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	\renewcommand{\isasymiota}{}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	\renewcommand{\isacharbraceleft}{\{}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	\renewcommand{\isacharbraceright}{\}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	%\renewcommand{\isacharless}{$\langle$}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	%\renewcommand{\isachargreater}{$\rangle$}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	\renewcommand{\isasymsharp}{\isamath{\#}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	\renewcommand{\isasymdots}{\isamath{...}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	\renewcommand{\isasymbullet}{\act}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	\defaultfontfeatures{Ligatures=TeX}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	% mathpatir
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	\mprset{sep=1em}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	% general math stuff
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	\newcommand{\dnn}{\stackrel{\mbox{\Large def}}{=}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	\renewcommand{\isasymequiv}{$\dn$}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	56	\renewcommand{\emptyset}{\varnothing}% nice round empty set
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57	%%\renewcommand{\Gamma}{\varGamma}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	\DeclareRobustCommand{\flqq}{\mbox{\guillemotleft}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	\DeclareRobustCommand{\frqq}{\mbox{\guillemotright}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	\newcommand{\smath}[1]{\textcolor{blue}{\ensuremath{#1}}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	\newcommand{\fresh}{\mathrel{\#}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	\newcommand{\act}{{\raisebox{-0.5mm}{\Large$\boldsymbol{\cdot}$}}}% swapping action
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	\newcommand{\swap}[2]{(#1\,#2)}% swapping operation
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	% beamer stuff
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	\renewcommand{\slidecaption}{Salvador, 26.~August 2008}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	% colours for Isar Code (in article mode everything is black and white)
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	\mode<presentation>{
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	\definecolor{isacol:brown}{rgb}{.823,.411,.117}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	\definecolor{isacol:lightblue}{rgb}{.274,.509,.705}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	\definecolor{isacol:green}{rgb}{0,.51,0.14}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	\definecolor{isacol:red}{rgb}{.803,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	\definecolor{isacol:blue}{rgb}{0,0,.803}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	\definecolor{isacol:darkred}{rgb}{.545,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	\definecolor{isacol:black}{rgb}{0,0,0}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	\mode<article>{
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	\definecolor{isacol:brown}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	\definecolor{isacol:lightblue}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	\definecolor{isacol:green}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	\definecolor{isacol:red}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	\definecolor{isacol:blue}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	\definecolor{isacol:darkred}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	\definecolor{isacol:black}{rgb}{0,0,0}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	\newcommand{\strong}[1]{{\bfseries {#1}}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	\newcommand{\bluecmd}[1]{{\color{isacol:lightblue}{\strong{#1}}}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	\newcommand{\browncmd}[1]{{\color{isacol:brown}{\strong{#1}}}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	\newcommand{\redcmd}[1]{{\color{isacol:red}{\strong{#1}}}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	\renewcommand{\isakeyword}[1]{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	\ifthenelse{\equal{#1}{show}}{\browncmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	\ifthenelse{\equal{#1}{case}}{\browncmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	\ifthenelse{\equal{#1}{assume}}{\browncmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	\ifthenelse{\equal{#1}{obtain}}{\browncmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	\ifthenelse{\equal{#1}{fix}}{\browncmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	\ifthenelse{\equal{#1}{oops}}{\redcmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	\ifthenelse{\equal{#1}{thm}}{\redcmd{#1}}{%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	{\bluecmd{#1}}}}}}}}}}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104	% inner syntax colour
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105	\chardef\isachardoublequoteopen=`\"%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	\chardef\isachardoublequoteclose=`\"%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	\chardef\isacharbackquoteopen=`\`%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	\chardef\isacharbackquoteclose=`\`%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	\newenvironment{innersingle}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110	{\isacharbackquoteopen\color{isacol:green}}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	{\color{isacol:black}\isacharbackquoteclose}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	\newenvironment{innerdouble}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	{\isachardoublequoteopen\color{isacol:green}}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	{\color{isacol:black}\isachardoublequoteclose}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116	%% misc
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117	\newcommand{\gb}[1]{\textcolor{isacol:green}{#1}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	118	\newcommand{\rb}[1]{\textcolor{red}{#1}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	119
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	120	%% animations
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	121	\newcounter{growcnt}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	122	\newcommand{\grow}[2]
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	123	{\begin{tikzpicture}[baseline=(n.base)]%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	124	\node[scale=(0.1 *#1 + 0.001),inner sep=0pt] (n) {#2};
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	125	\end{tikzpicture}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	126	}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	127
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	128	%% isatabbing
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	129	%\renewcommand{\isamarkupcmt}[1]%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	130	%{\ifthenelse{\equal{TABSET}{#1}}{\=}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	131	% {\ifthenelse{\equal{TAB}{#1}}{\>}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	132	% {\ifthenelse{\equal{NEWLINE}{#1}}{\\}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	133	% {\ifthenelse{\equal{DOTS}{#1}}{\ldots}{\isastylecmt--- {#1}}}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	134	% }%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	135	% }%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	136	%}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	137
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	138
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	139
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	140	\newenvironment{isatabbing}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	141	{\renewcommand{\isanewline}{\\}\begin{tabbing}}%
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	142	{\end{tabbing}}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	143
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	144	\begin{document}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	145	\nocite{*}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	146	\input{session}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	147	\end{document}
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	148
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	149	%%% Local Variables:
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	150	%%% mode: latex
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	151	%%% TeX-master: t
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	152	%%% TeX-command-default: "Slides"
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	153	%%% TeX-view-style: (("." "kghostview --landscape --scale 0.45 --geometry 605x505 %f"))
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	154	%%% End:
cfd4b8219c87 added CPP slides Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	155

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Fri, 13 Dec 2013 10:37:25 +1100
changeset 18	cfd4b8219c87
child 20	928c015eb03e
permissions	-rw-r--r--