Categories of TPS 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
• iruledef : intermediate rule definition
• libobject : library object
• librarycmd : library command
• lisp-pack : Lisp package
• logconst : logical constant
• mateop : mating-search command
• mexpr : top-level command
• module : module
• monitorfn : monitor function
• mtreeop : matingstree command
• 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
• tactic : tactic
• tactical : tactical
• testcmd : test-top command
• tex-char : tex special character
• toplevel : top level
• tps-file : file
• typeabbrev : type abbreviation
• typeconst : typeconstant
• unifop : unification command
• utility : utility
• wffop : wff operation
• wffrec% : recursive wff function

TPS homepage