%%%
%%% Main document sequencing for IPS course
-\ifx\printslides\notdef\documentclass[a4, article, twoside]{seminar}\fi
-\usepackage{ips}
+\documentclass{ips}
\title{Introduction to Provable Security}
\author{Mark Wooding}
%% \include{zk}
%% \include{chan}
-\section{Answers to exercises}
-\answers
+\ifipsanswers\section{Answers to exercises}\answers\fi
\section{Acknowledgements}