Add limccnp2 to mmil.html

Author: jkingdon

mmil.raw.html

@@ -10890,6 +10890,14 @@
   <td>~ limccnpcntop</td>
 </tr>
 
+<tr>
+  <td>limccnp2</td>
+  <td><i>none</i></td>
+  <td>the set.mm proof relies on limcmpt and also often expects
+  decidable equality between an element of ` ( A u. { B } ) `
+  and ` B ` .</td>
+</tr>
+
 <tr>
   <td>limcco</td>
   <td><i>none</i></td>