
diff -r 61a23a43b783 -r 75ae05e894fa doc-src/TutorialI/IsarOverview/Isar/document/root.tex
--- a/doc-src/TutorialI/IsarOverview/Isar/document/root.tex	Wed Oct 02 15:26:07 2002 +0200
+++ b/doc-src/TutorialI/IsarOverview/Isar/document/root.tex	Wed Oct 02 17:03:51 2002 +0200
@@ -1,17 +1,16 @@
-\documentclass[11pt,a4paper]{article}
+\documentclass[envcountsame]{llncs}
+%\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{A Compact Introduction to Structured Proofs in Isar/HOL}
-\author{Tobias Nipkow\\Institut f{\"u}r Informatik, TU M{\"u}nchen\\
+\author{Tobias Nipkow}
+\institute{Institut f{\"u}r Informatik, TU M{\"u}nchen\\
  {\small\url{http://www.in.tum.de/~nipkow/}}}
 \date{}
 \maketitle




