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

Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962



Freek Wiedijk wrote:


Of course you also get three more articles in the MML.  And
maybe the already existing articles were revised too, who knows?


More than 400 of them :-)

Andrzej