CVS difference for arm/source/03a.mss

Differences between 1.59 and version 1.60
Log of other versions for file arm/source/03a.mss

--- arm/source/03a.mss	2005/07/10 05:16:18	1.59
+++ arm/source/03a.mss	2005/07/12 05:01:12	1.60
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2005/07/10 05:16:18 $}
+@Comment{$Date: 2005/07/12 05:01:12 $}
 @LabeledSection{Declarations and Types}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.59 $}
+@Comment{$Revision: 1.60 $}
 
 @begin{Intro}
 This section describes the types in the language and the rules
@@ -615,8 +615,8 @@
 Old=[constraint @i(of) the subtype]}.@Chg{Version=[2],New=[@Defn2{Term=[constraint], Sec=(of a subtype)}
 @Defn2{Term=[subtype], Sec=(constraint of)}],Old=[]} The set of
 values of a subtype consists of the values of its type
-that satisfy its constraint@Chg{Version=[2],New=[ and, in the case
-of a subtype that excludes null, the values do not include the null value],
+that satisfy its constraint@Chg{Version=[2],New=[ and any exclusion of the
+null value],
 Old=[]}.
 @Defn2{Term=[belong], Sec=(to a subtype)}
 Such values @i(belong) to the subtype.@Chg{Version=[2],New=[@Defn2{Term=[values], Sec=(belonging to a subtype)}

Questions? Ask the ACAA Technical Agent