Reduction of some items "environ": MML 5.63.1382.CR

Coghetto Roland <[email protected]> Mon, 25 Oct 2021 17:55:57 +0000

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<AM0PR10MB23712ABF4E2DFD29F7446B7383839@AM0PR10MB2371.EURPRD10.PROD.OUTLOOK.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/<https://github.com/CoghettoR/MIZAR_MML_5.63.1382.CR/blob/main/log>

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