author | wenzelm |
Wed, 26 Sep 2001 22:25:23 +0200 | |
changeset 11573 | 4f85af77038f |
parent 11238 | 1d789889c922 |
child 13238 | a6cb18a25cbb |
permissions | -rw-r--r-- |
\documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym,pdfsetup} %for best-style documents ... \urlstyle{rm} %\isabellestyle{it} \newtheorem{Exercise}{Exercise}[section] \newenvironment{exercise}{\begin{Exercise}\rm}{\end{Exercise}} \begin{document} \title{Overview}\maketitle \input{session} %\bibliographystyle{plain} %\bibliography{root} \end{document}