CVS difference for ai12s/ai12-0039-1.txt

--- ai12s/ai12-0039-1.txt	2013/01/04 04:38:04	1.3
+++ ai12s/ai12-0039-1.txt	2013/05/09 01:39:14	1.4
@@ -1,4 +1,4 @@
-!standard 4.4(3/3)                                   12-12-27    AI12-0039-1/02
+!standard 4.4(3/3)                                   13-05-08    AI12-0039-1/03
 !standard 4.4(3.2/3)
 !standard 4.5.2(3.1/3)
 !standard 4.5.2(4)
@@ -23,7 +23,7 @@
 !status received 12-10-09
 !priority High
 !difficulty Easy
-!subject Syntax for membership expressions is ambiguous
+!subject Ambiguity in syntax for membership expression removed
 !summary 
 
 The choices of a membership are syntactically simple_expressions, not
@@ -85,7 +85,7 @@
 
 [Editor's note: There are a few cases where we don't have to use the new prefixes,
 especially for the latter cases (where we often say "of a membership_choice")
-but it's going to be clearer to just them globally.]
+but it's going to be clearer to just use them globally.]
 
 In AARM 3.9.2(9.b/2), "expression" probably should be "*tested_*simple_expression",
 although this isn't absolutely required.