Karol Pak: Mizar Set Comprehension in Isabelle Framework. FedCSIS (Communication Papers) 2018: 23-26