--- a/doc-src/Exercises/exercises.tex Tue Mar 30 11:25:14 2004 +0200
+++ b/doc-src/Exercises/exercises.tex Tue Mar 30 19:28:27 2004 +0200
@@ -9,7 +9,8 @@
\title{Isabelle/HOL Exercises}
\date{\today}
-\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\ Michael Wahler, Markus Wenzel}
+\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\
+ Martin Strecker, Michael Wahler, Markus Wenzel}
\begin{document}
@@ -104,6 +105,17 @@
%\section{Zu 2001}
%\aufgabe{2001}{a6}{Hoare}
+
+%--------------------------------------------
+\newpage
+\section{2003/2004}
+\aufgabe{0304}{a1}{a1}
+\aufgabe{0304}{a2}{a2}
+\aufgabe{0304}{a3}{a3}
+\aufgabe{0304}{a4}{a4}
+\aufgabe{0304}{a5}{a5}
+
+%--------------------------------------------
\newpage
\bibliographystyle{abbrv}