src/Pure/ML/ml_thms.ML

--- a/src/Pure/ML/ml_thms.ML	Wed Dec 10 17:55:31 2014 +0100
+++ b/src/Pure/ML/ml_thms.ML	Wed Dec 10 19:24:54 2014 +0100
@@ -58,7 +58,7 @@
     val (name, ctxt') = ML_Context.variant kind ctxt;
     val ctxt'' = cons_thms ((name, is_single), thms) ctxt';
 
-    val ml_body = "Isabelle." ^ name;
+    val ml_body = ML_Context.struct_name ctxt ^ "." ^ name;
     fun decl final_ctxt =
       if initial then
         let