Add dvaddf and dvmulf to mmil.html

Author: jkingdon

mmil.raw.html

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