--- 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