[mizar] no recognition of zero

["Ozyavas, Adem" <adem.ozyavas@ttu.edu>]

Dear All,

I was using an earlier version of Mizar (7.09.03) and switched to this new version (7.11.05).

Now I have the verifier not recognizing the 0 (zero). 

I tried all I know about the directives but could not find the right directives.

Attached is the sequenceL.miz and seql.voc files.

Can you let me know what is missing? 


thank you all...


Adem Ozyavas
Texas Tech University

Attachment: sequenceL.miz
Description: sequenceL.miz

Attachment: seql.voc
Description: seql.voc