--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML Wed Jun 25 14:54:45 2008 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML Wed Jun 25 17:38:32 2008 +0200
@@ -485,7 +485,7 @@
local structure P = OuterParse and K = OuterKeyword in
-val _ = OuterSyntax.keywords ["signature", "actions", "inputs",
+val _ = List.app OuterKeyword.keyword ["signature", "actions", "inputs",
"outputs", "internals", "states", "initially", "transitions", "pre",
"post", "transrel", ":=", "compose", "hide_action", "in", "restrict", "to",
"rename"];