Mercurial Mercurial > hg > isabelle-cookbook / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ProgTutorial/FirstSteps.thy
changeset 260 5accec94b6df
parent 258 03145998190b
child 261 358f325f4db6 
--- a/ProgTutorial/FirstSteps.thy	Thu Jun 04 09:28:29 2009 +0200
+++ b/ProgTutorial/FirstSteps.thy	Fri Jun 05 04:17:28 2009 +0200
@@ -122,7 +122,7 @@
 
   @{ML_response_fake [display,gray] "writeln (PolyML.makestring 1)" "\"1\""} 
 
-  However, @{ML [index] makestring} only works if the type of what is converted is monomorphic 
+  However, @{ML [index] makestring in PolyML} only works if the type of what is converted is monomorphic 
   and not a function.
 
   The function @{ML "writeln"} should only be used for testing purposes, because any
isabelle-cookbook