
diff -r e25376d1d064 -r f6488b5e937f doc-src/Exercises/exercises.tex
--- a/doc-src/Exercises/exercises.tex	Tue Apr 06 12:25:13 2004 +0200
+++ b/doc-src/Exercises/exercises.tex	Tue Apr 06 15:39:10 2004 +0200
@@ -112,30 +112,8 @@
 \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




