# CVS difference for arm/source/03a.mss

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

```--- arm/source/03a.mss	2012/03/20 06:13:57	1.120
+++ arm/source/03a.mss	2012/04/03 20:37:01	1.121
@@ -1,10 +1,10 @@

-@Comment{\$Date: 2012/03/20 06:13:57 \$}
+@Comment{\$Date: 2012/04/03 20:37:01 \$}
@LabeledSection{Declarations and Types}

@Comment{\$Source: e:\\cvsroot/ARM/Source/03a.mss,v \$}
-@Comment{\$Revision: 1.120 \$}
+@Comment{\$Revision: 1.121 \$}

@begin{Intro}
This section describes the types in the language and the rules
@@ -2805,6 +2805,7 @@

+@ISOOnlyRMNewPageVer{Version=[3]}@Comment{For ISO version of Ada 2012 Standard}
@LabeledSubClause{Number Declarations}

@begin{Intro}
@@ -6060,6 +6061,7 @@
@end{DiffWord95}

+@NotISORMNewPageVer{Version=[3]}@Comment{For printed version of Ada 2012 RM}
@LabeledSubClause{Operations of Discrete Types}

@begin{StaticSem}
@@ -6114,21 +6116,21 @@
Text=[@Chg{Version=[3],New=[S'First_Valid denotes the smallest value
-        that belongs to S and satisfies any predicate of S.
+        that belongs to S and satisfies the predicate of S.
The value of this attribute is of the type of S.],Old=[]}]}

Text=[@Chg{Version=[3],New=[S'Last_Valid denotes the largest value
-        that belongs to S and satisfies any predicate of S. The value of
+        that belongs to S and satisfies the predicate of S. The value of
this attribute is of the type of S.],Old=[]}]}
@end(Description)
@EndPrefixType{}

-@nt{attribute_reference}s are always static expressions. Any predicate of
-S is always a static predicate.]]}
+@nt{attribute_reference}s are always static expressions. Any explicit predicate
+of S can only have been specified by a Static_Predicate aspect.]]}

@begin{TheProof}