add limcun to mmil.html

Author: jkingdon

mmil.raw.html

@@ -10210,6 +10210,12 @@
   <td>The set.mm proof relies on fofi , rintopn and ellimc2 .</td>
 </tr>
 
+<tr>
+  <td>limcun</td>
+  <td><i>none</i></td>
+  <td>The set.mm proof relies on limciun .</td>
+</tr>
+
 </TABLE>
 
 <HR NOSHADE SIZE=1><A NAME="bib"></A><B><FONT