src/HOL/MicroJava/document/root.tex

minor adjustments in branch and method invocation for completeness of LBV

\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym,pdfsetup}

\begin{document}
\input{session}
\end{document}