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
Name Last modified Size DescriptionApache/2.2.3 (Red Hat) Server at cl-informatik.uibk.ac.at Port 80
Parent Directory - pack2.tgz 26-Apr-2022 11:20 202K