The formalization is compatible with the latest Mizar windows version 8.1.11 5.68.1412
In order to recheck the formalization:
install c:\mizar
mizf text\hilb10_7 mizf text\hilb10_8 miz2prel text\hilb10_7 mizf text\polynom
miz2abs text\hilb10_7 miz2abs text\hilb10_8 miz2abs text\polynom
Apache/2.2.3 (Red Hat) Server at cl-informatik.uibk.ac.at Port 80Name Last modified Size Description
Parent Directory -
pack2.tgz 26-Apr-2022 11:20 202K