Huh. I would argue that the software remained the property of Microsoft, and so there were no tax consequences. Presumably if the Windows 95 development manager said, a year later, "Hey guys, time to give all that stuff back," they would. It's just that nobody asked for it.