Problems with Mizar have been resolved

[Vedasystem <Vedasystem@aol.com>]

I recently downloaded the 5.3.02 version and it successfully checked boole.miz
on my Pentium II (300mhz) for 0.03 sec.

A minor problem happened when downloading the files install.bat and
continue.bat:

after the downloading, the MSDOS EOL (End Of Line) character was replaced with
another (maybe Unix) EOL character,

so I had to correct the files manually.  


Now I am going to use the Mizar system for checking a proof
in the theory of context-free grammars.

Does anyone know about Mizar activity in this area? 

Thanks in advance, Victor Makarov