src/Pure/Pure.thy
changeset 61890 f6ded81f5690
parent 61853 fb7756087101
child 62169 a6047f511de7
     1.1 --- a/src/Pure/Pure.thy	Fri Dec 18 14:23:11 2015 +0100
     1.2 +++ b/src/Pure/Pure.thy	Sat Dec 19 11:05:04 2015 +0100
     1.3 @@ -35,8 +35,8 @@
     1.4    and "include" "including" :: prf_decl
     1.5    and "print_bundles" :: diag
     1.6    and "context" "locale" "experiment" :: thy_decl_block
     1.7 -  and "permanent_interpretation" "interpretation" "sublocale" :: thy_goal
     1.8    and "interpret" :: prf_goal % "proof"
     1.9 +  and "interpretation" "global_interpretation" "sublocale" :: thy_goal
    1.10    and "class" :: thy_decl_block
    1.11    and "subclass" :: thy_goal
    1.12    and "instantiation" :: thy_decl_block