add dvaddbr and dvmulbr to mmil.html

Author: jkingdon

mmil.raw.html

@@ -11016,6 +11016,20 @@
   <td>the set.mm proof relies on dvcnp2</td>
 </tr>
 
+<tr>
+  <td>dvaddbr</td>
+  <td><i>none</i></td>
+  <td>the set.mm proof relies on restntr , undif1 , limcres , and
+  limccnp2</td>
+</tr>
+
+<tr>
+  <td>dvmulbr</td>
+  <td><i>none</i></td>
+  <td>the set.mm proof relies on restntr , undif1 , limcres , and
+  limccnp2</td>
+</tr>
+
 </TABLE>
 
 <HR NOSHADE SIZE=1><A NAME="bib"></A><B><FONT