1.1 --- a/src/Pure/Pure.thy	Tue Feb 19 20:19:21 2013 +0100
     1.2 +++ b/src/Pure/Pure.thy	Tue Feb 19 21:44:37 2013 +0100
     1.3 @@ -41,8 +41,8 @@
     1.4    and "include" "including" :: prf_decl
     1.5    and "print_bundles" :: diag
     1.6    and "context" "locale" :: thy_decl
     1.7 -  and "sublocale" "interpretation" :: thy_schematic_goal
     1.8 -  and "interpret" :: prf_goal % "proof"  (* FIXME schematic? *)
     1.9 +  and "sublocale" "interpretation" :: thy_goal
    1.10 +  and "interpret" :: prf_goal % "proof"
    1.11    and "class" :: thy_decl
    1.12    and "subclass" :: thy_goal
    1.13    and "instantiation" :: thy_decl