CVS difference for ai05s/ai05-0029-1.txt

--- ai05s/ai05-0029-1.txt	2011/11/01 05:32:50	1.9
+++ ai05s/ai05-0029-1.txt	2012/03/27 01:55:18	1.10
@@ -304,6 +304,15 @@
 
 Create an ACATS C-Test like the example in the question.
 
+!ASIS
+
+Add at the end of 12.45, before "Ada Standard 12.3 (16)":
+- Ada Standard 7.3.1(6/1)
+  - The implicit subprogram that exists but is not declared has an
+    implicit declaration, and this implicit declaration is
+    Is_Part_Of_Implicit. The enclosing element of the declaration is
+    the enclosing element of the corresponding type.
+
 !appendix
 
 From: Pascal Leroy