diff -r 506f80a9afe8 -r 35f2b30593a8 src/Pure/Isar/theory_target.ML
--- a/src/Pure/Isar/theory_target.ML	Tue Nov 10 15:33:35 2009 +0100
+++ b/src/Pure/Isar/theory_target.ML	Tue Nov 10 16:04:57 2009 +0100
@@ -19,7 +19,7 @@
   val overloading_cmd: (string * string * bool) list -> theory -> local_theory
 end;
 
-structure TheoryTarget: THEORY_TARGET =
+structure Theory_Target: THEORY_TARGET =
 struct
 
 (* context data *)