[New version of newerThan in HistoryEntry.cpp]