Re: no recognition of zero
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.GSO.4.61.1004051627330.29104@math> |
Dear Adem, On Sun, 4 Apr 2010, Ozyavas, Adem wrote: > 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). Quite some time ago the '0' was eliminated from the set of numerals built into the verifier and is now introduced as a standard functor, for which one must provide a vocabulary, notation, etc. (CARD_1 in this case). Best, Adam Naumowicz PS. Your two last messages were stopped by the mailing list software, because of the 40kB limit on the size of messages. ======================================================================= Dept. of Programming and Formal Methods Fax: +48(85)7457662 Institute of Informatics Tel: +48(85)7457559 (office) University of Bialystok E-mail: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ =======================================================================