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

Re: Problems with Mizar have been resolved



Hi:

> I recently downloaded the 5.3.02 version and it successfully checked boole.miz
> on my Pentium II (300mhz) for 0.03 sec.

This is a fast.  I am still running 5.2.30 but BOOLE needs
10 sec on Pentium 150MHz.


-- 
Piotr Rudnicki