Expand pm2.61 entry in mmil.html
Expand pm2.61 entry in mmil.html

Describe alternatives to case elimination in the missing theorems list
as well as in the tips above the missing theorems list.

metamath/set.mm,metamath/set.mm,metamath/set.mm