author | ballarin |
Wed, 30 Apr 2003 18:31:38 +0200 | |
changeset 13939 | b3ef90abbd02 |
parent 12737 | b0b012b11a36 |
child 14608 | 9f9d651d676b |
permissions | -rw-r--r-- |
% $Id$ \documentclass[11pt,a4paper]{article} \usepackage{graphicx,isabelle,isabellesym,latexsym} \usepackage[latin1]{inputenc} \usepackage{pdfsetup} \urlstyle{rm} \isabellestyle{it} \begin{document} \title{Isabelle/HOL --- Higher-Order Logic} \maketitle \tableofcontents \begin{center} \includegraphics[scale=0.3]{session_graph} \end{center} \newpage \parindent 0pt\parskip 0.5ex \input{session} \end{document}