"IE3, the first version with CSS support was also released in 1996"

I'm pretty sure that while IE3 and even IE4 had some CSS support they didn't implement the box model yet, padding-inside or padding-outside.

(But I wasn't sure enough to put it in the post.)

It's also likely that Microsoft knew what was in the spec before it was finalized and officially published.