Mizar Set Comprehension in Isabelle Framework - Karol Pąk (Annals of computer science and information systems)