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
Attachment:
replthls.zip
Description: Zip archive