Hi Piotr, >Would it be possible to put your tutorial to the Mizar wiki? Put it wherever you like (I wouldn't know where to find the Mizar wiki, sorry). I just put the most recent version in <http://www.cs.ru.nl/~freek/mizar/mizman.pdf> <http://www.cs.ru.nl/~freek/mizar/mizman.ps.gz> So copy it there, or just put a link there, whatever you think is best! Freek