removing "canceled"

Hello,

a new Mizar version has been issued. One of the biggest changes is
removing of all "canceled" from all articles. It has caused reenumeration
of theorems and definitions. Attached is a list of substitutions with the
grammar:

A:2
B:5
;

which means that theorem number 2 of the article A should be substituted
by the theorem number 5 of B.

Remark: reserved word "canceled" has not been removed from the Mizar
language, so it is likely that new "canceled" will appear in next
versions.

In a case of any problem with it please inform me.

Best regards
Artur