proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
package body Wordops is
function Rotate(I : Rotate_Amount; W : Word) return Word
is
begin
return Interfaces.Rotate_Left (W, I);
end Rotate;
end Wordops;