duplications in MML 7.13.01_4.181.1147

Josef Urban <[email protected]> Sun, 20 May 2012 08:46:00 +0200

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<CAFP4q15Ad5OjopOtjKUjnbddvtat175hnxvY7as9TF+n9vXbkw@mail.gmail.com>

Hi,

at http://mws.cs.ru.nl/~mptp/7.13.01_4.181.1147/MPTP2/00mmldupl.html
is a list of 332 duplications in MML  7.13.01_4.181.1147 .

Josef

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.