author | wenzelm |
Mon, 11 Sep 2023 19:30:48 +0200 | |
changeset 78659 | b5f3d1051b13 |
parent 73463 | 552a9dd5b4a2 |
child 81702 | dc105ee2d759 |
permissions | -rw-r--r-- |
\documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym} % this should be the last package used \usepackage{pdfsetup} % urls in roman style, theory text in math-similar italics \urlstyle{rm} \isabellestyle{it} \begin{document} \title{ZF} \author{Steven Obua} \maketitle %\tableofcontents \parindent 0pt\parskip 0.5ex \input{session} \end{document}