new vocabularies

Artur Kornilowicz <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <Pine.GSO.4.61.0911100657460.15713@math> 
Dear Mizar Users,

recently a quite big change of MML has been done - namely each symbol 
introduced in an _old_ vocabulary has been moved to the _new_ vocabulary 
named as the .miz file in which the symbol was used first.

As a result of the revision vocabulary HIDDEN consists of only 3 symbols:

R<>
Rin
Vstrict


P[0]
|(


We are sorry for inconvenience. In a case of any problems with adjusting 
your articles please ask Mizar User Service ([email protected]) or me 
directly about help.

Artur
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.