Text Proper
Syntax
Text-Proper
=
{
Text-Item
}
{
Section
} .
Section
=
begin
{
Text-Item
} .
See also
Mizar Article
Home
|
Index of Syntax Items
Last modified: June 26, 2000