[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] no recognition of zero
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: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
=======================================================================