Hebrews 4:4 - Matthew Poole's English Annotations on the Holy Bible

For he spake in a certain place of the seventh day on this wise; the Spirit proves, that the rest mentioned by David, Psalms 95:11, is not meant the seventh day's rest, because spoken three thousand years after that rest was past; but this rest of which he speaks was to come, though spoken of and known then: for Moses had spoken of it in a well known place to them, Genesis 2:1-3, and this when he wrote of the seventh day, which was eminently noting the sabbath, and a type of God's most excellent rest which he sware unto believers. And God did rest the seventh day from all his works: God doth not here rest as if he were weary, Isaiah 40:28, but ceased from the creation of all kind of things he purposed to make, but not from their propagation and his providence about them, Acts 17:25. And this he did on the seventh day, which he instituted a sabbath for his people, Genesis 2:3; which resting day may type out the eternal rest of angels and men, when their work of obedience is finished: and yet was not God's rest spoken of in the Psalm, nor promised in the gospel to believers, for this was yet to come; whereas the seventh day's rest was entered into from the foundation of the world.