CVS difference for ais/ai-00064.txt

--- ais/ai-00064.txt	2000/04/20 20:20:13	1.8
+++ ais/ai-00064.txt	2000/06/21 23:39:07	1.9
@@ -95,7 +95,7 @@
 completed by *another* renaming-as-body, the body of that third subprogram
 will also be checked; the rule is transitive.
 
-See AI95-00135 for a discussion of circularities involving
+See DR-0027 (AI95-00135) for a discussion of circularities involving
 renamings-as-body.
 
 This issue also adds the missing definition of lower-case "body". This change