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.
doc-src/Locales/Locales/Locales.thy
changeset 26480 544cef16045b
parent 17567 20c0b69dd192 
--- a/doc-src/Locales/Locales/Locales.thy	Sat Mar 29 19:13:58 2008 +0100
+++ b/doc-src/Locales/Locales/Locales.thy	Sat Mar 29 19:14:00 2008 +0100
@@ -398,7 +398,7 @@
   predicate is defined.
 *}
 (*<*)
-ML_setup {*
+ML {*
   val [comm_semi_ax1, comm_semi_ax2] = thms "comm_semi.axioms";
   bind_thm ("comm_semi_ax1", comm_semi_ax1);
   bind_thm ("comm_semi_ax2", comm_semi_ax2);
isabelle