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

--- ai05s/ai05-0029-1.txt	2008/05/10 05:14:33	1.5
+++ ai05s/ai05-0029-1.txt	2008/05/29 04:36:46	1.6
@@ -42,7 +42,7 @@
     package I is new Q.G (C); -- Where is the predefined "=" for C?
 end R;
 
-Observe that type T is limited, but not "really" limited, so its partial
+Observe that type T is limited, but not immutably limited, so its partial
 view doesn't have an "=" operator but of course its full view does.
 Observe also that Q.G is a public child of Q, so the formal type A is
 limited in the formal part and visible part of the generic, but at the
@@ -112,7 +112,7 @@
 type, or later immediately within the declarative region in which the type is
 declared according to the rules of 7.3.1. In an instance, the copy of such an
 implicit declaration declares a view of the predefined operator of the actual
-type, even if this operator has been overridden for the actual type {or even if
+type, even if this operator has been overridden for the actual type {and even if
 it is never declared for the actual type}. The rules specific to formal derived
 types are given in 12.5.1.
 
@@ -157,7 +157,7 @@
 (see 7.3.1). In an instance, the copy of such an implicit declaration declares
 a view of the corresponding primitive subprogram of the ancestor or progenitor
 of the formal derived type, even if this primitive has been overridden for the
-actual type {or even if it is never declared for the actual type}. When the
+actual type {and even if it is never declared for the actual type}. When the
 ancestor or progenitor of the formal derived type is itself a formal type, the
 copy of the implicit declaration declares a view of the corresponding copied
 operation of the ancestor or progenitor. In the case of a formal private
@@ -259,7 +259,7 @@
 type, or later immediately within the declarative region in which the type is
 declared according to the rules of 7.3.1. In an instance, the copy of such an
 implicit declaration declares a view of the predefined operator of the actual
-type, even if this operator has been overridden for the actual type or even if
+type, even if this operator has been overridden for the actual type and even if
 it is never declared for the actual type. The rules specific to formal derived
 types are given in 12.5.1.
 
@@ -290,7 +290,7 @@
 (see 7.3.1). In an instance, the copy of such an implicit declaration declares
 a view of the corresponding primitive subprogram of the ancestor or progenitor
 of the formal derived type, even if this primitive has been overridden for the
-actual type or even if it is never declared for the actual type. When the
+actual type and even if it is never declared for the actual type. When the
 ancestor or progenitor of the formal derived type is itself a formal type, the
 copy of the implicit declaration declares a view of the corresponding copied
 operation of the ancestor or progenitor. In the case of a formal private