CVS difference for ai05s/ai05-0160-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai05s/ai05-0160-1.txt

--- ai05s/ai05-0160-1.txt	2009/07/07 04:29:32	1.1
+++ ai05s/ai05-0160-1.txt	2009/07/11 03:06:22	1.2
@@ -149,8 +149,9 @@
      in the case of Move the fact that it still is in some set, just not the original one,
      does not change the fact that the cursor is invalid.]
 
-    AARM Ramification: This can happen directly via calls to Clear, Exclude, Delete, and
-    Update_Element_Preserving_Key.
+    AARM Ramification: Removing can happen directly via calls to Clear, Exclude, Delete, and
+    Update_Element_Preserving_Key, and indirectly via calls to procedures Intersection,
+    Difference, and Symmetric_Difference.
 
     [Editor's note: Unlike the vectors and lists, Assign (and thus the target of Move)
      are not defined in terms of Clear, and thus we need all of the rules as written here.]

Questions? Ask the ACAA Technical Agent