[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] Some minor changes in the Mizar grammar file.
Hi all,
The following rules were changed in order to support predefined mode "set",
functor brackets "{", "[", "}", "]" and predicate "=".
-----------------------------------------------
From:
Mode-Symbol = Symbol .
To:
Mode-Symbol = Symbol | "set" .
-----------------------------------------------
From:
Left-Functor-Bracket = Symbol .
Right-Functor-Bracket = Symbol .
To:
Left-Functor-Bracket = Symbol | "{" | "[" .
Right-Functor-Bracket = Symbol | "}" | "]" .
-----------------------------------------------
From:
Predicate-Symbol = Symbol .
To:
Predicate-Symbol = Symbol | "=" .
-----------------------------------------------
Regards,
Michael Nedzelsky