--- acs/ac-summary.txt 2014/10/14 03:54:18 1.79 +++ acs/ac-summary.txt 2014/12/18 19:01:14 1.80 @@ -794,3 +794,6 @@ AC-00264/00 2014-10-09 -- Universal fixed-fixed operation and universal real result RM References: A.08.02 (3/2) A.08.02 (7) +AC-00265/00 2014-12-04 -- Type invariant rules + RM References: 7.03.02 (10/3) 7.03.02 (12/3) +