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

--- ai05s/ai05-0177-1.txt	2011/03/05 05:39:11	1.12
+++ ai05s/ai05-0177-1.txt	2011/11/01 05:32:52	1.13
@@ -463,7 +463,7 @@
 @dby
 A subprogram declared by an @fa<abstract_subprogram_declaration> is abstract;
 a subprogram declared by a @fa<subprogram_declaration> is not. See 3.9.3,
-"Abstract Types and Subprograms". Similarly, a procedure defined by a
+"Abstract Types and Subprograms". Similarly, a procedure declared by a
 @fa<null_procedure_declaration> is a null procedure; a procedure declared by
 a @fa<subprogram_declaration> is not. See 6.7, "Null Procedures".
 Finally, a function declared by an @fa<expression_function_declaration> is an