В документации материал дан сухо и кратко. Так что M[a1..a1+n-1] := M[a0..a0+n-1] возможно и подразумевало, что копирование идет с возр. адресами. Копировать пересекающиеся блоки можно, если адрес приёмника меньше адреса источника.