--- a/src/Pure/global_theory.ML Mon Nov 28 20:39:08 2011 +0100
+++ b/src/Pure/global_theory.ML Mon Nov 28 22:05:32 2011 +0100
@@ -108,7 +108,8 @@
NONE => error ("Unknown fact " ^ quote name ^ Position.str_of pos)
| SOME (static, ths) =>
(Context_Position.report ctxt pos (Name_Space.markup (Facts.space_of facts) name);
- if static then () else Context_Position.report ctxt pos (Markup.dynamic_fact name);
+ if static then ()
+ else Context_Position.report ctxt pos (Isabelle_Markup.dynamic_fact name);
Facts.select xthmref (map (Thm.transfer thy) ths)))
end;