[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
distributed file
At the address:
ftp://venus.ci.uw.edu.pl/pub/mizug/ver5.2.30.beta/
and
ftp://sunsite.icm.edu.pl/pub/mizar/ver5.2.30.beta/
and
ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/ver5.2.30.beta/
you can find new (corrected) file: disk7.zip
-- Roman Matuszewski
---------------------------------------------------------
Bialystok University, Department of Logic
Liniarskiego street 4, 15-420 Bialystok, Poland
phone: +48 (85) 45-75-10, fax: +48 (85) 45-74-43
e-mail: romat@mizar.org , roman@hum.uw.bialystok.pl
===============
----------------------------------------------------------