CVS difference for ais/ai-00280.txt

--- ais/ai-00280.txt	2005/08/05 04:34:38	1.11
+++ ais/ai-00280.txt	2005/12/15 02:43:57	1.12
@@ -1,4 +1,4 @@
-!standard   9.04 (20)                                  05-07-11  AI95-00280/07
+!standard   9.04 (20)                                  05-12-05  AI95-00280/08
 !standard   4.08 (11)
 !standard   7.06.01 (11)
 !standard  11.05 (20)
@@ -225,6 +225,9 @@
 still exists had been created in an arbitrary order at the first freezing
 point (see 13.14) of the ultimate ancestor type; the finalization of these
 objects is called the @i<finalization of the collection>.
+After the finalization of a master is complete, the objects finalized as part
+of its finalization cease to @i<exist>, as do any types and subtypes defined
+and created within the master.
 
 !corrigendum 09.04(20)