On Wed, 27 Aug 1997, Piotr Rudnicki wrote: > How can I get an info about who is doing what in the formalization > of CCL in Mizar? Ideally, I would expect an html file that one would be > able to acces with a web browser. There is a person who knows it. That's me. The html page will be created. Grzegorz