Re: "Formalized Mathematics"

Piotr Rudnicki wrote:

>I think that the most frequently referenced Mizar articles should be
>imported by deafault and then the Mizar presence at CiteSeer would become
>somewhat more realistic.
>
>  
>
What do you mean by this?

It is not a critisism, just interested.

Andrzej