SUBJECT : ARGTYPE

SUBJECT is an argument type.
A subject in REVIEW.
Currently any of:
Top Levels: EDITOR TEST-TOP
OTL Object: OTL-VARS OUTLINE
Printing: PRINTING
Flavors of Labels: INTERNAL-NAMES
Saving Work: SAVING-WORK
Expansion Trees: ETREES
Mtree Operations: MTREE MTREE-TOP
Mating search: IMPORTANT MATING-SEARCH
MS88 search procedure: MS88
MS89 search procedure: MS89
MS90-3 search procedure: MS90-3
MS90-9 search procedure: MS90-9
MS91-6 and MS91-7 search procedures: MS91-6 MS91-7
MS92-9 search procedure: MS92-9
MS93-1 search procedure: MS93-1
MS98-1 search procedure: MS98-1 MS98-MINOR
Proof Translation: ETR-NAT
Unification: UNIFICATION
Tactics: TACTICS
suggestions: SUGGESTS
Vpforms: JFORMS
wff Primitives: WFF-PRIMS
Wff Parsing: PARSING
Primitive Substitutions: PRIMSUBS
Events: EVENTS
Grader: GR-FILENAMES GR-MISC
Maintenance: MAINTAIN SYSTEM
Rules object: RULES-MOD
Library: LIBRARY

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage