| changeset 43560 | d1650e3720fd |
| parent 42361 | 23f352990944 |
| child 43619 | 3803869014aa |
--- a/src/Tools/Code/code_runtime.ML Mon Jun 27 15:03:55 2011 +0200 +++ b/src/Tools/Code/code_runtime.ML Mon Jun 27 16:53:31 2011 +0200 @@ -336,7 +336,9 @@ (** Isar setup **) -val _ = ML_Context.add_antiq "code" (fn _ => Args.term >> ml_code_antiq); +val _ = + Context.>> (Context.map_theory + (ML_Context.add_antiq (Binding.name "code") (fn _ => Args.term >> ml_code_antiq))); local