-
Robbert Krebbers authored
Following the time anology of later, the step-index 0 corresponds does not correspond to 'now', but rather to the end of time (i.e. 'last').
dd0444b8
Following the time anology of later, the step-index 0 corresponds does not correspond to 'now', but rather to the end of time (i.e. 'last').