diff -r 086bb1083552 -r 4fdb1009a370 src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Thu Aug 25 17:38:12 2011 +0200
+++ b/src/Pure/Thy/thy_load.ML	Thu Aug 25 19:12:58 2011 +0200
@@ -175,7 +175,7 @@
     val spans = Source.exhaust (Thy_Syntax.span_source toks);
     val elements =
       Source.exhaust (Thy_Syntax.element_source (Source.of_list spans))
-      |> maps (Outer_Syntax.prepare_element outer_syntax init);
+      |> maps (Outer_Syntax.read_element outer_syntax init);
 
     val _ = Present.theory_source name
       (fn () => HTML.html_mode (implode o map Thy_Syntax.present_span) spans);