--- a/doc-src/Exercises/exercises.tex Mon Apr 05 13:30:37 2004 +0200
+++ b/doc-src/Exercises/exercises.tex Tue Apr 06 12:25:13 2004 +0200
@@ -9,7 +9,7 @@
\title{Isabelle/HOL Exercises}
\date{\today}
-\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\
+\author{Gertrud Bauer, Gerwin Klein, Farhad Mehta, Tobias Nipkow,\\
Martin Strecker, Michael Wahler, Markus Wenzel}
\begin{document}
@@ -108,6 +108,37 @@
%--------------------------------------------
\newpage
+\section{2003}
+\aufgabe{2003}{a1}{a1}
+\aufgabe{2003}{a2}{a2}
+\aufgabe{2003}{a3}{a3}
+%\aufgabe{2002}{a4}{a4}
+\aufgabe{2003}{a5}{a5}
+\aufgabe{2003}{a6}{a6}
+%\aufgabe{2002}{a7}{a7}
+
+%\newpage
+%\section{L{\"o}sungen}
+%\aufgabe{2002}{l1}{l1}
+%\aufgabe{2002}{l2}{l2}
+%\aufgabe{2002}{l3}{l3}
+%\aufgabe{2002}{l4}{l4}
+%\aufgabe{2002}{l5}{l5}
+%\aufgabe{2002}{l6}{l6}
+%\aufgabe{2002}{l7}{ABP}
+
+%\newpage
+%\part{Anhang}
+%\section{Zu 2000}
+%\aufgabe{2000}{a4}{GfpLfp}
+%\aufgabe{2000}{a4}{CTL}
+%\aufgabe{2000}{a5}{Env}
+%\section{Zu 2001}
+%\aufgabe{2001}{a6}{Hoare}
+
+
+%--------------------------------------------
+\newpage
\section{2003/2004}
\aufgabe{0304}{a1}{a1}
\aufgabe{0304}{a2}{a2}
@@ -116,6 +147,8 @@
\aufgabe{0304}{a5}{a5}
%--------------------------------------------
+
+
\newpage
\bibliographystyle{abbrv}