--- ai12s/ai12-0430-1.txt 2022/06/25 06:14:08 1.4 +++ ai12s/ai12-0430-1.txt 2022/12/31 00:55:09 1.5 @@ -107,7 +107,7 @@ @drepl @xcode<Filter : Bit_Vector(0 .. 31);> @dby -@xcode<Filter : Bit_Vector(0 .. 31); -- @ft<@i<see 3.6>>> +@xcode<Filter : Bit_Vector(0 .. 31); --@ft<@i< see 3.6>>> !corrigendum 3.8(27)