Mercurial Mercurial > repos > isabelle / 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.
src/HOL/Code_Evaluation.thy
changeset 33632 6ea8a4cce9e7
parent 33553 35f2b30593a8
child 34028 1e6206763036 
--- a/src/HOL/Code_Evaluation.thy	Thu Nov 12 09:11:46 2009 +0100
+++ b/src/HOL/Code_Evaluation.thy	Thu Nov 12 15:48:44 2009 +0100
@@ -145,7 +145,7 @@
   (Eval "Term.Const/ ((_), (_))" and "Term.$/ ((_), (_))")
 
 code_const "term_of \<Colon> String.literal \<Rightarrow> term"
-  (Eval "HOLogic.mk'_message'_string")
+  (Eval "HOLogic.mk'_literal")
 
 code_reserved Eval HOLogic
isabelle