Re: [mizar] Soft Types

[Freek Wiedijk <freek@cs.ru.nl>]

Dear Andrzej,

>I still try to understand your paper on soft types and I
>read it again (and again). There is a small
>mistake. Adjectives have arguments, only they are always
>hidden.

So these arguments are added in the last section of the
paper.  I would not be surprised at all that the way it
is in the paper now does not work, but when I wrote it I
thought that you could do it like this.

Maybe it's better to change the system to always have
the arguments.  Probably.

Freek