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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0122-1.txt

--- ai12s/ai12-0122-1.txt	2014/08/12 02:03:31	1.1
+++ ai12s/ai12-0122-1.txt	2015/07/14 02:29:41	1.2
@@ -1,5 +1,6 @@
 !standard 3.5(15)                                     14-08-11    AI12-0122-1/01
 !class Amendment 14-08-11
+!status No Action (7-0-1) 15-06-27
 !status work item 14-08-11
 !status received 14-06-29
 !priority Low
@@ -19,8 +20,8 @@
 
 !proposal
 
-Idea 1: Extend 'Base to all types. This would give a name to the italized T of
-lore (and AARM 4.5.1(3.b-i/2)). In particular, T'Base would additionally
+Idea 1: Extend 'Base to all types. This would give a name to the italicized T
+of lore (and AARM 4.5.1(3.b-i/2)). In particular, T'Base would additionally
 represent the first subtype of T for tagged types (without any predicate)
 and a subtype of T without any constraint or null exclusion for other composite
 types.

Questions? Ask the ACAA Technical Agent