13:09 Jan 6, 2007 

Thanks to everyone for interesting references, and to Bjørnar and Barry for a useful solution before deadline! I think at the back of my mind I was thinking of flexitime, but that is not quite the same thing, at least here.

Thanks too for clarifying that in general 'time off in lieu' is UK and 'Comp time' etc. is a US expression, which I had not registered definitely.

Now I'm thinking clearly, I think very often it is called 'time' and then hours or days are specified as appropriate, but in accounting it is important, as it is probably earned in hours and rules may vary about saving up for whole days off.

Great to get the distinctions clear!