ACL2 Version 2.0 Patch Report
As of July 23, 1997, there are no patches for ACL2 Version 2.0.