NOTE-3-2-1_lparen_R_rparen_.html -- ACL2 Version 6.1

NOTE-3-2-1(R)

ACL2 Version 3.2.1(r) (June, 2007) Notes

Major Section:  RELEASE-NOTES

Please also see note-3-2-1 for changes to Version 3.2.1 of ACL2.