Re: [mizar] A quote

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

On Tue, 18 Nov 2003, Piotr Rudnicki wrote:

> However, it is inevitable that people will be discouraged by the
> amount of garbage in MML.  In this light the "weak types" can wait.

I have produced quite some garbage myself, in the osalg articles, because 
of nonclusterable attributes. Fixing it now is fair amount of work.
If someone wants to write garbage, you will not prevent him, but we should 
work on improving the system, so that it does not _force_ you to write 
garbage.

Josef