[mizar] Reduction of some items "environ": MML 5.63.1382.CR

[Coghetto Roland <roland_coghetto@hotmail.com>]

Dear All,

I have performed a reduction of the MML article environment. (between "environ" and "begin").

The result can be found here: https://github.com/CoghettoR/MIZAR_MML_5.63.1382.CR/

If often items have been removed, more rarely some items have been added to keep the complete integrity of the MML.

The complete list can be found in the file named: "log".

Regards,

Roland