[mizar] Name carrying facts in MML

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Mizarians,

I have started preparing a list of name carrying items in MML with corresponding links to what is available on the web.

Please make sure that at least your contributions to MML are listed.

I am just starting, so please let me know about omissions, inaccuracies and what not else.

Cheers, Piotr Rudnicki