# HG changeset patch
# User wenzelm
# Date 932395644 -7200
# Node ID 613724c2ee6ba11f081063d64c432788e7c12eb9
# Parent  cc77b467e082589b797afa10d3b9fa275b87c170
renamed 'with' to 'using';

diff -r cc77b467e082 -r 613724c2ee6b src/HOLCF/IOA/meta_theory/ioa_package.ML
--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML	Mon Jul 19 16:32:45 1999 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML	Mon Jul 19 16:47:24 1999 +0200
@@ -556,7 +556,7 @@
     >> mk_hiding_decl ||
   (P.name -- (P.$$$ "=" |-- (P.$$$ "restrict" |-- P.name -- (P.$$$ "to" |-- P.list1 P.term))))
     >> mk_restriction_decl ||
-  (P.name -- (P.$$$ "=" |-- (P.$$$ "rename" |-- P.name -- (P.$$$ "with" |-- P.term))))
+  (P.name -- (P.$$$ "=" |-- (P.$$$ "rename" |-- P.name -- (P.$$$ "using" |-- P.term))))
     >> mk_rename_decl;
 
 val automatonP =
@@ -571,7 +571,7 @@
 val _ = OuterSyntax.add_keywords ["signature", "actions", "inputs",
   "outputs", "internals", "states", "initially", "transitions", "pre",
   "post", "transrel", ":=", "compose", "hide", "in", "restrict", "to",
-  "rename", "with"];
+  "rename", "using"];
 
 val _ = OuterSyntax.add_parsers [automatonP];
 
diff -r cc77b467e082 -r 613724c2ee6b src/HOLCF/IOA/meta_theory/ioa_syn.ML
--- a/src/HOLCF/IOA/meta_theory/ioa_syn.ML	Mon Jul 19 16:32:45 1999 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_syn.ML	Mon Jul 19 16:47:24 1999 +0200
@@ -151,7 +151,7 @@
                 ("to" $$-- (enum1 "," string)))) >> mk_restriction_decl)
 ||
   (name -- ("=" $$--
-	("rename" $$-- name -- ("with" $$-- string))) >> mk_rename_decl)
+	("rename" $$-- name -- ("using" $$-- string))) >> mk_rename_decl)
 ;
 
 in
@@ -164,7 +164,7 @@
 val _ = ThySyn.add_syntax
  ["signature","actions","inputs", "outputs", "internals", "states", "initially",
   "transitions", "pre", "post", "transrel",":=",
-"compose","hide","in","restrict","to","rename","with"]
+"compose","hide","in","restrict","to","rename","using"]
  [axm_section "automaton" "" ioa_decl];
 
 end;