CVS difference for ai12s/ai12-0232-1.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0232-1.txt

--- ai12s/ai12-0232-1.txt	2018/01/09 06:13:11	1.5
+++ ai12s/ai12-0232-1.txt	2018/04/14 03:42:28	1.6
@@ -1,4 +1,4 @@
-!standard 10.2.1(9/3)                                   17-11-20  AI12-0232-1/03
+!standard 10.2.1(9/3)                                   18-04-13  AI12-0232-1/04
 !standard 10.2.1(15.1/3)
 !standard 10.2.1(15.5/3)
 !class binding interpretation 17-06-08
@@ -102,9 +102,8 @@
 can be instantiated as Pure, then we need to enforce at least some of the
 rules in a generic specification.
 
-We have proposed to say that a generic specification is preelaborable unless
-every instance would not be, and similar, pure unless every instance would not
-be.
+Therefore, we say that a generic specification is preelaborable unless every
+instance would not be, and similarly, pure unless every instance would not be.
 
 !corrigendum 10.2.1(9/3)
 

Questions? Ask the ACAA Technical Agent