[mizar] Updated subsumed theorems

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi,

http://lipa.ms.mff.cuni.cz/~urban/subsumed.html is an updated list of 
(partially) subsumed theorems an definitions from recent MML, computed by 
updated MoMM. Most suspicious are usually pairs from different articles.

Best,
Josef