Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Args.theory;
authorwenzelm
Thu, 26 Jun 2008 15:06:30 +0200
changeset 27372 29a09358953f
parent 27371 f89aa7bd4602
child 27373 5794a0e3e26c
Args.theory;
src/Tools/code/code_target.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/code/code_target.ML	Thu Jun 26 15:06:28 2008 +0200
+++ b/src/Tools/code/code_target.ML	Thu Jun 26 15:06:30 2008 +0200
@@ -1843,7 +1843,7 @@
 
 (* instrumentalization by antiquotation *)
 
-val ml_code_antiq = (Scan.state >> Context.theory_of) -- Scan.repeat1 Args.term >> (fn (thy, ts) =>
+val ml_code_antiq = Args.theory -- Scan.repeat1 Args.term >> (fn (thy, ts) =>
   let
     val cs = map (CodeUnit.check_const thy) ts;
     val (cs', program) = CodeThingol.consts_program thy cs;
isabelle