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/HOL.thy
changeset 48776 37cd53e69840
parent 48195 3127f9ce52fb
child 48891 c0eafbd55de3 
--- a/src/HOL/HOL.thy	Sat Aug 11 21:32:46 2012 +0200
+++ b/src/HOL/HOL.thy	Sat Aug 11 22:17:46 2012 +0200
@@ -847,7 +847,7 @@
 
 setup {*
   ML_Antiquote.value @{binding claset}
-    (Scan.succeed "Classical.claset_of (ML_Context.the_local_context ())")
+    (Scan.succeed "Classical.claset_of ML_context")
 *}
 
 setup Classical.setup
isabelle