[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] new vocabularies

To: Mizar-Forum <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] new vocabularies
From: Artur Kornilowicz <arturk@math.uwb.edu.pl>
Date: Tue, 10 Nov 2009 17:45:43 +0100 (CET)

Dear Mizar Users,

recently a quite big change of MML has been done - namely each symbolintroduced in an _old_ vocabulary has been moved to the _new_ vocabularynamed 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 adjustingyour articles please ask Mizar User Service (mus@mizar.uwb.edu.pl) or medirectly about help.


Artur

Follow-Ups:
- Re: [mizar] new vocabularies
  - From: Artur Kornilowicz <arturk@math.uwb.edu.pl>

Next by Date: Re: [mizar] new vocabularies
Index(es):
- Chronological
- Thread