add dvadd and dvmul to mmil.html

Author: jkingdon

mmil.raw.html

@@ -11030,6 +11030,12 @@
   limccnp2</td>
 </tr>
 
+<tr>
+  <td>dvadd , dvmul</td>
+  <td><i>none</i></td>
+  <td>the set.mm proofs rely on dvaddbr and dvmulbr</td>
+</tr>
+
 </TABLE>
 
 <HR NOSHADE SIZE=1><A NAME="bib"></A><B><FONT