Bump Mizar system and MML version.
Changes for 8.1.02.
Whitespace.
Itemized XML.
Pretty-print stylesheet.
Use Theorem-References to refer to theorems.
Import.