equal
deleted
inserted
replaced
1 \documentclass[dvipsnames,14pt,t]{beamer} |
1 \documentclass[dvipsnames,14pt,t]{beamer} |
2 \usepackage{proof} |
2 \usepackage{proof} |
3 \usepackage{beamerthemeplainculight} |
3 \usepackage{beamerthemeplaincu} |
4 \usepackage[T1]{fontenc} |
|
5 \usepackage[latin1]{inputenc} |
|
6 \usepackage{mathpartir} |
4 \usepackage{mathpartir} |
7 \usepackage{isabelle} |
5 \usepackage{isabelle} |
8 \usepackage{isabellesym} |
6 \usepackage{isabellesym} |
9 \usepackage[absolute,overlay]{textpos} |
7 \usepackage[absolute,overlay]{textpos} |
10 \usepackage{ifthen} |
8 \usepackage{ifthen} |
91 tabsize=2, |
89 tabsize=2, |
92 showspaces=false, |
90 showspaces=false, |
93 showstringspaces=false} |
91 showstringspaces=false} |
94 |
92 |
95 % beamer stuff |
93 % beamer stuff |
96 \renewcommand{\slidecaption}{APP 09, King's College London, 27 November 2012} |
94 \renewcommand{\slidecaption}{APP 09, King's College London, 2 December 2013} |
97 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
95 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% for definitions |
98 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
96 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
99 |
97 |
100 \begin{document} |
98 \begin{document} |
101 |
99 |