# HG changeset patch
# User griff
# Date 1248175883 -7200
# Node ID 682d4711f91e8f92ac888aab437e3c3f596dd22c
# Parent  4b97bff55650cda1af0c2a2c4db123f3fa92d780
label for exercise

diff -r 4b97bff55650 -r 682d4711f91e ProgTutorial/FirstSteps.thy
--- a/ProgTutorial/FirstSteps.thy	Tue Jul 21 13:27:39 2009 +0200
+++ b/ProgTutorial/FirstSteps.thy	Tue Jul 21 13:31:23 2009 +0200
@@ -1171,7 +1171,7 @@
   the file @{ML_file "Pure/thm.ML"}.
   \end{readmore}
 
-  \begin{exercise}
+  \begin{exercise}\label{fun:revsum typed}
   Check that the function defined in Exercise~\ref{fun:revsum} returns a
   result that type-checks.
   \end{exercise}
diff -r 4b97bff55650 -r 682d4711f91e progtutorial.pdf
Binary file progtutorial.pdf has changed