src/HOLCF/IOA/meta_theory/ioa_package.ML

   add_rename aut source_aut rename_f;
 
 
 (* parsers *)
 
-local structure P = OuterParse and K = OuterSyntax.Keyword in
+local structure P = OuterParse and K = OuterKeyword in
 
 val actionlist = P.list1 P.term;
 val inputslist = P.$$$ "inputs" |-- actionlist;
 val outputslist = P.$$$ "outputs" |-- actionlist;
 val internalslist = P.$$$ "internals" |-- actionlist;