1.1 --- a/doc-src/Exercises/Makefile	Mon Apr 05 13:30:37 2004 +0200
     1.2 +++ b/doc-src/Exercises/Makefile	Tue Apr 06 12:25:13 2004 +0200
     1.3 @@ -1,6 +1,8 @@
     1.4  all: gen pdf
     1.5  
     1.6 -gen: g0304 g2000 g2001 g2002
     1.7 +
     1.8 +gen: g2000 g2001 g2002 g2003 g0304
     1.9 +
    1.10  
    1.11  dvi: gen
    1.12  	latex exercises
    1.13 @@ -14,8 +16,7 @@
    1.14  	pdflatex exercises
    1.15  	pdflatex exercises
    1.16  
    1.17 -g0304:
    1.18 -	cd 0304; make
    1.19 +
    1.20  
    1.21  g2000:
    1.22  	cd 2000; make
    1.23 @@ -26,8 +27,15 @@
    1.24  g2002:
    1.25  	cd 2002; make
    1.26  
    1.27 +g2003:
    1.28 +	cd 2003; make
    1.29 +
    1.30 +g0304:
    1.31 +	cd 0304; make
    1.32 +
    1.33  clean:
    1.34  	rm -f *.log *.aux *.bbl *.blg *.toc *.out *~
    1.35  
    1.36 +
    1.37  realclean: clean
    1.38  	rm -rf exercises.pdf execrcises.dvi

     2.1 --- a/doc-src/Exercises/exercises.tex	Mon Apr 05 13:30:37 2004 +0200
     2.2 +++ b/doc-src/Exercises/exercises.tex	Tue Apr 06 12:25:13 2004 +0200
     2.3 @@ -9,7 +9,7 @@
     2.4  
     2.5  \title{Isabelle/HOL Exercises}
     2.6  \date{\today}
     2.7 -\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\ 
     2.8 +\author{Gertrud Bauer, Gerwin Klein, Farhad Mehta, Tobias Nipkow,\\ 
     2.9    Martin Strecker, Michael Wahler, Markus Wenzel}
    2.10  
    2.11  \begin{document}
    2.12 @@ -108,6 +108,37 @@
    2.13  
    2.14  %--------------------------------------------
    2.15  \newpage
    2.16 +\section{2003}
    2.17 +\aufgabe{2003}{a1}{a1}
    2.18 +\aufgabe{2003}{a2}{a2}
    2.19 +\aufgabe{2003}{a3}{a3}
    2.20 +%\aufgabe{2002}{a4}{a4}
    2.21 +\aufgabe{2003}{a5}{a5}
    2.22 +\aufgabe{2003}{a6}{a6}
    2.23 +%\aufgabe{2002}{a7}{a7}
    2.24 +
    2.25 +%\newpage
    2.26 +%\section{L{\"o}sungen}
    2.27 +%\aufgabe{2002}{l1}{l1}
    2.28 +%\aufgabe{2002}{l2}{l2}
    2.29 +%\aufgabe{2002}{l3}{l3}
    2.30 +%\aufgabe{2002}{l4}{l4}
    2.31 +%\aufgabe{2002}{l5}{l5}
    2.32 +%\aufgabe{2002}{l6}{l6}
    2.33 +%\aufgabe{2002}{l7}{ABP}
    2.34 +
    2.35 +%\newpage
    2.36 +%\part{Anhang}
    2.37 +%\section{Zu 2000}
    2.38 +%\aufgabe{2000}{a4}{GfpLfp}
    2.39 +%\aufgabe{2000}{a4}{CTL}
    2.40 +%\aufgabe{2000}{a5}{Env}
    2.41 +%\section{Zu 2001}
    2.42 +%\aufgabe{2001}{a6}{Hoare}
    2.43 +
    2.44 +
    2.45 +%--------------------------------------------
    2.46 +\newpage
    2.47  \section{2003/2004}
    2.48  \aufgabe{0304}{a1}{a1}
    2.49  \aufgabe{0304}{a2}{a2}
    2.50 @@ -116,6 +147,8 @@
    2.51  \aufgabe{0304}{a5}{a5}
    2.52  
    2.53  %--------------------------------------------
    2.54 +
    2.55 +
    2.56  \newpage
    2.57  
    2.58  \bibliographystyle{abbrv}