Cezary Kaliszyk, Karol Pak, Josef Urban: Towards a mizar environment for isabelle: foundations and language. CPP 2016: 58-65