Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
label for exercise
authorgriff
Tue, 21 Jul 2009 13:31:23 +0200
changeset 276 682d4711f91e
parent 275 4b97bff55650
child 277 cc862fd5e0cb
label for exercise
ProgTutorial/FirstSteps.thy file | annotate | diff | comparison | revisions
progtutorial.pdf file | annotate | diff | comparison | revisions 
--- 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}
Binary file progtutorial.pdf has changed
isabelle-cookbook