NOTE-4-2_lparen_R_rparen_.html -- ACL2 Version 6.2

NOTE-4-2(R)

ACL2 Version 4.2(r) (January, 2011) Notes

Major Section:  RELEASE-NOTES

Please see note-4-2 for changes in Version 4.2 of ACL2.