Add dfceil2 , ceilval2 to mmil.html

Didn't look like these would work as-is, and there's no particular reason we need them.
savask · Oct 12, 2021 · bbfc8dc · bbfc8dc
1 parent e1103b6
commit bbfc8dc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/mmil.raw.html b/mmil.raw.html
@@ -4506,6 +4506,12 @@
   conditions, is probably provable if there is a need.</TD>
 </TR>
 
+<TR>
+  <TD>dfceil2 , ceilval2</TD>
+  <TD><I>none</I></TD>
+  <TD>Unused in set.mm.</TD>
+</TR>
+
 <TR>
 <TD>df-mod and other modulus theoerms.</TD>
 <TD><I>none</I></TD>