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/Fun_Def.thy
changeset 67443 3abf6a722518
parent 64591 240a39af9ec4
child 67487 b4e65cd6974a 
--- a/src/HOL/Fun_Def.thy	Tue Jan 16 09:12:16 2018 +0100
+++ b/src/HOL/Fun_Def.thy	Tue Jan 16 09:30:00 2018 +0100
@@ -295,7 +295,7 @@
 ML_file "Tools/Function/scnp_reconstruct.ML"
 ML_file "Tools/Function/fun_cases.ML"
 
-ML_val \<comment> "setup inactive"
+ML_val \<comment> \<open>setup inactive\<close>
 \<open>
   Context.theory_map (Function_Common.set_termination_prover
     (K (ScnpReconstruct.decomp_scnp_tac [ScnpSolve.MAX, ScnpSolve.MIN, ScnpSolve.MS])))
isabelle