\documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym,pdfsetup} \begin{document} \input{session} \end{document}