no recognition of zero
"Ozyavas, Adem" <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
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
sequenceL.miz
(application/octet-stream, 246.6 KB) - not displayed
seql.voc
(application/octet-stream, 657 B) - not displayed