Before revision: History Propositions Homogeneous Histories A homogeneous history proposition is a sequence of single-time propositions specified at different times .
After revision: History  A homogeneous history proposition is a sequence of single-time propositions specified at different times .