Done with grammar2thtml.xsl grammar2thtml.xsl 8/10/03 Grammar of <xsl:value-of select="@language"/>

Grammar of


Source:
Date:
Version:
Initial term: #

Contents

  1. #PART-
  2. Description
  3. Non-terminals
  4. Terminals
Non-terminals, Terminals
Not explained: # .
PART-non-terminals

Non-terminals and system-terms
  1. # USE- in # , ,
PART-terminals

Terminals
  1. USE- in # , ,
http://math.uwb.edu.pl/~bancerek/Grzegorz Bancerek, mailto:bancerek@mizar.orgbancerek@mizar.org

PART-


System terms (usage):
 #DESC- * , .

#DESC- * =
.
#USE- use







#DESC- * =
.
#USE- use

#DESC- * = . #USE- use # " " #USE- [ ] [ { } ] { } { } ( | )

Description

# DESC-

#
OBJECT- #OBJECT-