NOTE-4-3_lparen_R_rparen_.html -- ACL2 Version 6.1

NOTE-4-3(R)

ACL2 Version 4.3(r) (July, 2011) Notes

Major Section:  RELEASE-NOTES

Please see note-4-3 for changes in Version 4.3 of ACL2.