diff --git a/docs/Lexicon.html b/docs/Lexicon.html
index e3d40f7..83a653e 100644
--- a/docs/Lexicon.html
+++ b/docs/Lexicon.html
@@ -60,6 +60,7 @@
     </tr>
     <tr><th colspan="8"><b>- <a href="#R">R</a> -</b></th></tr>
     <tr>
+      <td><a href="#RAUW">RAUW</a></td>
       <td><a href="#Reassociation">Reassociation</a></td>
       <td><a href="#Root">Root</a></td>
     </tr>
@@ -198,6 +199,13 @@
 <div class="doc_subsection"><a name="R">- R -</a></div>
 <div class="doc_text">
   <dl>
+  	<dt><a name="RAUW"><b>RAUW</b></a></dt> <dd>An abbreviation for Replace
+  	All Uses With. The functions User::replaceUsesOfWith(), 
+  	Value::replaceAllUsesWith(), and Constant::replaceUsesOfWithOnConstant()
+  	implement the replacement of one Value with another by iterating over its
+  	def/use chain and fixing up all of the pointers to point to the new value.
+  	See also <a href="ProgrammersManual.html#iterate_chains">def/use chains</a>.
+  	</dd>
     <dt><a name="Reassociation"><b>Reassociation</b></a></dt> <dd>Rearranging
     associative expressions to promote better redundancy elimination and other
     optimization.  For example, changing (A+B-A) into (B+A-A), permitting it to