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/Tools/function_package/fundef_datatype.ML
changeset 28524 644b62cf678f
parent 28287 c86fa4e0aedb
child 29265 5b4247055bd7 
--- a/src/HOL/Tools/function_package/fundef_datatype.ML	Tue Oct 07 16:07:40 2008 +0200
+++ b/src/HOL/Tools/function_package/fundef_datatype.ML	Tue Oct 07 16:07:50 2008 +0200
@@ -298,7 +298,7 @@
     #> Context.theory_map (FundefCommon.set_preproc sequential_preproc)
 
 
-val fun_config = FundefConfig { sequential=true, default="%x. arbitrary" (* FIXME dynamic scoping *), 
+val fun_config = FundefConfig { sequential=true, default="%x. undefined" (*FIXME dynamic scoping*), 
                                 domintros=false, tailrec=false }
isabelle