RE: [mizar] Studying Mizar

["James Smith" <james.smith@aleph-one.com>]

Boris,

by the time you have managed to compile the Mizar article described in
Freek's tutorial you will have a good idea about the structure of the MML
library, believe me! I strongly suggest you take the time to go through this
at times painful process. I suspect most accomplished Mizar users went
through it, or something similar, at some point. 

The best motive for getting to grips with the structure of the MML library
seems to be simple necessity, it seems to me. 

Best of luck,

James