diff -r fdd0c7fa1b65 -r 279fa5a06231 slides/slides09.tex
--- a/slides/slides09.tex	Sat Nov 30 13:52:21 2013 +0000
+++ b/slides/slides09.tex	Mon Dec 02 10:04:40 2013 +0000
@@ -1,8 +1,6 @@
 \documentclass[dvipsnames,14pt,t]{beamer}
 \usepackage{proof}
-\usepackage{beamerthemeplainculight}
-\usepackage[T1]{fontenc}
-\usepackage[latin1]{inputenc}
+\usepackage{beamerthemeplaincu}
 \usepackage{mathpartir}
 \usepackage{isabelle}
 \usepackage{isabellesym}
@@ -93,7 +91,7 @@
 	showstringspaces=false}
 
 % beamer stuff 
-\renewcommand{\slidecaption}{APP 09, King's College London, 27 November 2012}
+\renewcommand{\slidecaption}{APP 09, King's College London, 2 December 2013}
 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions
 \newcommand{\bl}[1]{\textcolor{blue}{#1}}