2
<head><title>NOTE-3-1_lparen_R_rparen_.html -- ACL2 Version 3.1</title></head>
3
<body text=#000000 bgcolor="#FFFFFF">
4
<h2>NOTE-3-1(R)</h2>ACL2 Version 3.1(r) (December, 2006) Notes
5
<pre>Major Section: <a href="RELEASE-NOTES.html">RELEASE-NOTES</a>
8
No significant changes have been made since Version 3.0 for support of
9
non-standard analysis in particular.<p>
13
Please also see <a href="NOTE-3-1.html">note-3-1</a> for changes to Version 3.1 of ACL2.<p>
16
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>