# HG changeset patch
# User streckem
# Date 1080667707 -7200
# Node ID c770a2f0ea7825e1d03bfc892f17a6fb7aa18498
# Parent  76cdbeb0c9def40b3d497da6a02793d36df9cc43
Added PSV 2003/2004

diff -r 76cdbeb0c9de -r c770a2f0ea78 doc-src/Exercises/Makefile
--- a/doc-src/Exercises/Makefile	Tue Mar 30 11:25:14 2004 +0200
+++ b/doc-src/Exercises/Makefile	Tue Mar 30 19:28:27 2004 +0200
@@ -1,6 +1,6 @@
 all: gen pdf
 
-gen: g2000 g2001 g2002
+gen: g0304 g2000 g2001 g2002
 
 dvi: gen
 	latex exercises
@@ -14,6 +14,9 @@
 	pdflatex exercises
 	pdflatex exercises
 
+g0304:
+	cd 0304; make
+
 g2000:
 	cd 2000; make
 
diff -r 76cdbeb0c9de -r c770a2f0ea78 doc-src/Exercises/exercises.tex
--- a/doc-src/Exercises/exercises.tex	Tue Mar 30 11:25:14 2004 +0200
+++ b/doc-src/Exercises/exercises.tex	Tue Mar 30 19:28:27 2004 +0200
@@ -9,7 +9,8 @@
 
 \title{Isabelle/HOL Exercises}
 \date{\today}
-\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\ Michael Wahler, Markus Wenzel}
+\author{Gertrud Bauer, Gerwin Klein, Tobias Nipkow,\\ 
+  Martin Strecker, Michael Wahler, Markus Wenzel}
 
 \begin{document}
 
@@ -104,6 +105,17 @@
 %\section{Zu 2001}
 %\aufgabe{2001}{a6}{Hoare}
 
+
+%--------------------------------------------
+\newpage
+\section{2003/2004}
+\aufgabe{0304}{a1}{a1}
+\aufgabe{0304}{a2}{a2}
+\aufgabe{0304}{a3}{a3}
+\aufgabe{0304}{a4}{a4}
+\aufgabe{0304}{a5}{a5}
+
+%--------------------------------------------
 \newpage
 
 \bibliographystyle{abbrv}