Categories of ETPS objects

• %theorem% : theorem
• abbrev : logical abbreviation
• argtype : argument type
• binder : binder
• concept-char : concept special character
• context : context
• device-style : style
• edop : editor command
• event : event
• flag : flag or parameter
• flag-mode : mode
• flavor : flavor
• getgwfftype : wff reference format
• gexpr : Grader Command
• info : flag setting or other piece of information
• lisp-pack : Lisp package
• logconst : logical constant
• mexpr : top-level command
• module : module
• ordercomponents : argument for order-components
• pmpropsym : polymorphic proper symbol
• printprop : printing property
• repsymbol : replaceable symbol
• review-subject : subject
• reviewcmd : review command
• savedwff : saved wff
• scribe-char : scribe special character
• srule : inference rule
• tex-char : tex special character
• toplevel : top level
• tps-file : file
• typeabbrev : type abbreviation
• typeconst : typeconstant
• utility : utility
• wffop : wff operation
• wffrec% : recursive wff function

TPS homepage