Timed computation of linear histories.