author | nipkow |
Fri, 30 Mar 2001 16:12:57 +0200 | |
changeset 11235 | 860c65c7388a |
child 11238 | 1d789889c922 |
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}