According to this paper by Barbara Liskov, CLU was "The first implemented programming language to provide direct linguistic support for data abstraction".
She then defines "data abstraction" as "A set of objects and operations", and gives as an example a "set of integers" with an associate's set of operations.
Without digging terribly deeply into the dates, according to Wikipedia, CLU "first appeared" in 1975, whereas ML "first appeared" in 1973. Furthermore, ML modules seem to fit Liskov's definition of "data abstraction" perfectly.
Thus, isn't this claim at least a little inaccurate, if not disingenuous? (Liskov notes later that she is aware of at least of some of the work done with ML, though was not made aware of it until the late 70's).
It seems to me that it would be better to say that CLU was among the first languages to support data abstraction. Or am I missing something here either with the exact dates, or exactly what Liskov means by "data abstraction"?