src/HOL/Nominal/nominal_atoms.ML

               (full_ak_names ~~ thss))) dj_thms))) thy33
     end;
 
 
 (* syntax und parsing *)
-structure P = OuterParse and K = OuterKeyword;
+structure P = Parse and K = Keyword;
 
 val _ =
-  OuterSyntax.command "atom_decl" "Declare new kinds of atoms" K.thy_decl
-    (Scan.repeat1 P.name >> (Toplevel.theory o create_nom_typedecls));
+  Outer_Syntax.command "atom_decl" "declare new kinds of atoms" Keyword.thy_decl
+    (Scan.repeat1 Parse.name >> (Toplevel.theory o create_nom_typedecls));
 
 end;