ACL2 Version 3.0 News
No news at this time.