[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] duplications in MML 7.13.01_4.181.1147

To: mizar-forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] duplications in MML 7.13.01_4.181.1147
From: Josef Urban <josef.urban@gmail.com>
Date: Sun, 20 May 2012 08:46:00 +0200

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

Prev by Date: [mizar] ESSLLI 2012 call for participation
Index(es):
- Chronological
- Thread