For if Jesus had given them rest
That is, Joshua; for Hosheah, Joshua, and Jesus, are one and the
same name; or Jesus himself, as two of Stephens's copies read;
and so Joshua is called Jesus by the Septuagint interpreters on (
Exodus
17:10 ) ( 24:13 ) and
other places where he is mentioned; and also, by Josephus
F8, and Philo
then would
he not afterward have spoken of another day;
that is, God, in David's time, and by him, would not have so long
after appointed another day of rest; meaning, not any particular
day of the week, but the whole Gospel dispensation, in the times
of the Messiah; wherefore the apostle concludes as
follows.
F8 Antiqu. Jud. l. 4. c. 7. sect. 2. c. 8.
sect. 46, 47, 48. & l. 5. c. 1. sect. 1. & passim.
F9 De Charitate, p. 698, 699, 700.