2
<head><title>SET-LD-REDEFINITION-ACTION.html -- ACL2 Version 3.1</title></head>
3
<body text=#000000 bgcolor="#FFFFFF">
4
<h2>SET-LD-REDEFINITION-ACTION</h2>See <a href="LD-REDEFINITION-ACTION.html">ld-redefinition-action</a>.
5
<pre>Major Section: <a href="OTHER.html">OTHER</a>
9
<br><br><br><a href="acl2-doc.html"><img src="llogo.gif"></a> <a href="acl2-doc-index.html"><img src="index.gif"></a>