A.2 The Package Ada
From OC Systems Wiki!
Static Semantics
The following language-defined library package exists:
package Ada is
pragma Pure(Ada);
end Ada;
Ada serves as the parent of most of the other language-defined library units; its declaration is empty (except for the pragma Pure).
Legality Rules
In the standard mode, it is illegal to compile a child of package Ada.
Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc.
Ada Reference Manual