Re: [mizar] Mizar lexicon

[Michael Nedzelsky <MichaelNedzelsky@yandex.ru>]

Hi, Adam,

On Tue, 10 Oct 2006 12:24 am, Adam Naumowicz wrote:
> The most "accurate" list of Mizar reserved words and special symbols can
> be retrieved from the file $MIZFILES/mizar.dct, as this is what Mizar
> actually uses to initiate its parsing. There one may also find
> reserved words which are still planned to be implemented (e.g. '...' or
> 'according'), but in this 'unofficial' way disallowed to be used as
> symbols for the time being.
It is Interesting, I didn't know about this file. 

Actually, in order to understand the lexical structure of Mizar text, I have 
made a simple utility (in OCaml) to split Mizar article into sequence of 
tokens (sources, binaries and an example of output you can see here:
http://wiki.mizar.org/cgi-bin/twiki/view/Mizar/LexicalLevel).

Michael