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