--- a/doc-src/Exercises/Makefile Mon Apr 05 13:30:37 2004 +0200
+++ b/doc-src/Exercises/Makefile Tue Apr 06 12:25:13 2004 +0200
@@ -1,6 +1,8 @@
all: gen pdf
-gen: g0304 g2000 g2001 g2002
+
+gen: g2000 g2001 g2002 g2003 g0304
+
dvi: gen
latex exercises
@@ -14,8 +16,7 @@
pdflatex exercises
pdflatex exercises
-g0304:
- cd 0304; make
+
g2000:
cd 2000; make
@@ -26,8 +27,15 @@
g2002:
cd 2002; make
+g2003:
+ cd 2003; make
+
+g0304:
+ cd 0304; make
+
clean:
rm -f *.log *.aux *.bbl *.blg *.toc *.out *~
+
realclean: clean
rm -rf exercises.pdf execrcises.dvi
--- 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}