
diff -r af9d7fcf873e -r e25376d1d064 doc-src/Exercises/exercises.tex
--- 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}




