Copyright text fixes.
New, uniform checkTime statistic for all theories (as discussed in meeting).