Then the developers have failed.
Your sliding co-efficient of friction statement sounds correct; however an abs system does not keep the wheels in such an effective state. In fact I've found the system does not even wait for the wheels to lock fully. So it seems to start releasing the brake as soon as it gets close to that magic sliding co-efficient of friction spot. The abs system releases the brakes way past the best friction point, and then takes longer than my foot to re-apply the brakes to just barely the sweet spot again before releasing too far again.
I have played around with just about every vehicle I've ever driven with abs. While I don't bust out the slide-rule to verify my results I conclude that abs systems certainly do increase emergency stopping distance on every surface I've driven on. (I live in Michigan so I get the full gamut.)
There have been several times while playing around that I began a mock 'emergency' stop on a snowy road. As the abs were pumping away and I was slowing down every so slightly (but under great control) I bumped the key to the start position momentarily which resets the abs system in the vehicle I was driving. I was able to stop much more quickly without the abs system. It was abrupt and I had to actually oscillate my foot pressure on the brake pedal to maintain control.