TPSCATLIST : ARGTYPE

TPSCATLIST is an argument type.
A list of categories or ALL or (ALL- ...). Currently any of
(%THEOREM% ABBREV ARGTYPE BINDER CONCEPT-CHAR CONTEXT DEVICE-STYLE EDOP
EVENT FLAG FLAG-MODE FLAVOR GETGWFFTYPE GEXPR INFO IRULEDEF LIBOBJECT
LIBRARYCMD LISP-PACK LOGCONST MATEOP MEXPR MODULE MONITORFN MTREEOP
ORDERCOMPONENTS PMPROPSYM PRINT-FACE PRINTPROP REPSYMBOL
REVIEW-SUBJECT REVIEWCMD REWRITE-RULE RULEHELP SAVEDWFF SCRIBE-CHAR
SRULE TACTIC TACTICAL TESTCMD TEX-CHAR THEORY TOPLEVEL TPS-FILE
TYPEABBREV TYPECONST UNIFOP UTILITY WFFOP WFFREC%)

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage