CVS difference for ais/ai-00437.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00437.txt

--- ais/ai-00437.txt	2005/12/15 02:44:21	1.4
+++ ais/ai-00437.txt	2006/03/07 01:30:48	1.5
@@ -1,4 +1,4 @@
-!standard N         (01)                               05-11-22  AI95-00437/03
+!standard N         (01)                               06-02-23  AI95-00437/04
 !standard N         (03)
 !standard N         (04)
 !standard N         (06)
@@ -163,7 +163,7 @@
 Private type. A private type gives a view of a type that reveals only some of
 its properties. The remaining properties are provided by the full view given
 elsewhere. Private types can be used for defining abstractions that hide
-unnecessary details from a client.
+unnecessary details from its clients.
 
 Procedure. A procedure is a form of subprogram that does not return a result
 and can only be called by a statement.
@@ -393,7 +393,7 @@
 assignment operation is allowed.
 @dby
 @b<Limited type.> A limited type is a type for which copying (such
-as for an @fa<assignment_statement>) is not allowed. A nonlimited type is a
+as in an @fa<assignment_statement>) is not allowed. A nonlimited type is a
 type for which copying is allowed.
 
 !corrigendum N(24)
@@ -440,7 +440,7 @@
 @b<Private type.> A private type gives a view of a type that reveals only some
 of its properties. The remaining properties are provided by the full view given
 elsewhere. Private types can be used for defining abstractions that hide
-unnecessary details from a client.
+unnecessary details from its clients.
 
 @b<Procedure.> A procedure is a form of subprogram that does not return a
 result and can only be called by a @fa<statement>.
@@ -512,7 +512,7 @@
 @b<Type.> Each object has a type. A @i<type> has an associated set of values,
 and a set of @i<primitive operations> which implement the fundamental aspects
 of its semantics. Types are grouped into @i<classes>. The types of a given
-class share a set of primitive operations. {closed under derivation} Classes
+class share a set of primitive operations. Classes
 are closed under derivation; that is, if a type is in a class, then all of its
 derivatives are in that class.
 @dby

Questions? Ask the ACAA Technical Agent