The prior art was Worlds themselves. They practiced on the invention after the filed the provisional. The argument is about reference in the full app to the provisional which is what the USPTO eventually agreed to when the admin error was discovered.
They can use the 1995 priority date, that's what the certificate of correction was for and fixed. There is now reference to the provisional application on the 045 and 690, it will be allowed for infringement from July 2013 going forward, the judge states that in the SJ order.