Add ovif12 to mmil.html

Author: jkingdon

mmil.raw.html

@@ -3020,6 +3020,12 @@
   set.mm in this area and related theorems</td>
 </tr>
 
+<tr>
+  <td>ovif12</td>
+  <td><i>none</i></td>
+  <td>would be provable under the condition that ` ph ` is decidable</td>
+</tr>
+
 <TR>
 <TD>fnov</TD>
 <TD>~ fnovim </TD>