Vocabulary directive

[Vedasystem <Vedasystem@aol.com>]

Studing Mizar, I am trying to understand
the vocabulary directive.

The vocabulary directive contains names
of vocabular files (I guess, the files have the
extension .VOC). But I can not find such files
in the system (e.g. BOOLE.VOC).

Where they are?

Or where the vocabulary information is kept?

Is there a complete description of the syntax of vocabulary files?

Thanks in advance,

Victor Makarov

PS

Is there a glossary of basic Mizar notions , Mizar tutorials??