CONTEXTLIST : ARGTYPE

CONTEXTLIST is an argument type.
A list of contexts or ALL or (ALL- ...).
Currently any of:
Top Levels: SUBTOPLEVELS
Style: STYLE
Review: FLAGS
Flags: FLAG-REVIEW
Modes: FLAG-MODES
Reading help: RD-HELP
Help: HELP-OBJ
Collecting Help: COLL-HELP
Concept: CONCEPT-TERMINAL
Starting and Finishing: OTL-ENTERING
OTL Object: OTL-OBJECT
Printing: OTL-PRINTING
Printing: WFF-PRINTING
Internal for Printing: PRINT-INTERNALS
SAIL characters: SAIL-CHARS
Script Letters: SCRIPT-LETTERS
Subscripts: SUBSCRIPTS
Superscripts: SUPERSCRIPTS
Lowercase Greek: GREEK-LETTERS-LOWERCASE
Uppercase Greek: GREEK-LETTERS-UPPERCASE
Greek Subscripts: GREEK-SUBSCRIPTS
Bold Letters: BOLD-LETTERS
TeX: TEX-STYLE
X Windows: XWINDOWS
Other Symbols: MISC-SYMBOLS
Weak Labels: WEAK-LABELS
Flavors of Labels: FLAVOR-OBJ
Saving Work: SAVE-WORK-OBJ
Saving Wffs: SAVING-WFFS
Recording: SCRIBE-RECORD
Printing Proofs into Files: OTL-FILES
Proof Outline: PROOF-OUTLINE
Expansion Trees: EXPANSION-TREES
Mtree Operations: MTREE-OPS
Mtree Printing: MTREE-PRINT
Mtree Auto: MTREE-AUTO
Search Suggestions: SEARCH-SUGGESTIONS
Mating search: 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
MS92-9 search procedure: MS92-9
MS93-1 search procedure: MS93-1
MS98-1 search procedure: MS98-1
Proof Translation: ETR-NAT
Unification: UNIFICATION
Dpairs: UNIFICATION-DPAIRS
Tactics: TACTICS
suggestions: SUGGESTIONS
Searchlists: TEST-SEARCHLISTS
Library: TEST-LIB
Vpforms: JFORMS1
Rearranging the Proof: OTL-REARRANGING
Status: OTL-STATUS
Miscellaneous Rules: RULES-1-MISC
Propositional Rules: RULES-2-PROP
Negation Rules: RULES-3-NEG
Quantifier Rules: RULES-4-QUANT
Substitution Rules: RULES-5-SUBST
Equality Rules: RULES-6-EQUALITY
Definition Rules: RULES-7-DEFN
Lambda Conversion Rules: RULES-8-LAMBDA
Book Theorems: BOOK-THEOREMS
Theorems: TPS-THEOREMS
First-Order Logic: ML1-EXERCISES
Higher-Order Logic: ML2-EXERCISES
Wff Editor: EDITOR-OBJ
well-formed formula: WELL-FF
wff Primitives: PRIM-OBJ
Wff Parsing: WFF-PARSING
Equality between Wffs: WFFEQUAL
Predicates on Wffs: WFFTST-OBJ
Wff Types: WFFTYP-OBJ
Moving Commands: MOVING
Changing Commands: CHANGING
Recursively Changing Commands: RECURSIVELY-CHANGING
Embedding Commands: EMBEDDING
Rewriting commands: REWRITING
Substitution: SUBSTITUTION
Basic Abbreviations: ABBREV-OPS
Set Abbreviations: ABBREV-SET-OPS
Lambda-Calculus: LAMBDA-OP
Negation movers: NEG-OPS
Primitive Substitutions: PRIMSUBS
Miscellaneous: MISC-EDOPS
RuleP: RULEP-TEST
Skolemizing: SKOLEMS
Quantifier Commands: DEVELOP-SEQS
Wellformedness: ILL-FORMED
Compound: COMPOUND-TACTICS
Propositional: PROP-TACTICS
Quantifiers: QUANT-TACTICS
Equality: EQUALITY-TACTICS
Definitions: DEFN-TACTICS
Lambda: LAMBDA-TACTICS
Auxiliary: AUX-TACTICS
Events: TPS-EVENTS
report package: REPORT-OBJECT
File Utilities: FILE-OPERATIONS
Example of Report: REPORT-EXAMPLES
Statistics: STATS
Grader: GRADER-OBJECT
Getting Out and Help: GR-A-OUT
Variables: GR-B-VARS
The Grade-File: GR-C-GRADEFILE
Manual Grades: GR-D-MANUAL-GRADES
Automatic Grades: GR-E-AUTOMATIC-GRADES
The Class List: GR-F-CLASS-LIST
Making the Output Convenient: GR-G-OUTPUT
Generating Values: GR-H-STAT
Displaying Information: GR-I-DISPLAY
Totaling: GR-J-TOTALS
Maintenance: TPS-MAINTENANCE
Sorting: GR-K-SORTING
Letter-Grades: GR-L-LETTER-GRADE
Basics: BASICS
Modules: MODULES-IN-TPS
Rule Commands: RULE-COMMANDS
Rules Module: RULE-RUN
Lisp packages: LISP-PACKAGES
Rules object: RULES-OBJECT
News: SYSTEM-NEWS
Core Images: CORE-IMAGE
Indirect Files: INDIRECT
Batch Control: BATCH
Documentation: DOCUMENTATION
Command declaration: COMMAND-DECLARATION
Lisp Source: LISP-SOURCE
Miscellaneous: MISCELLANEOUS
Unclassified: UNCLASSIFIED
Library: LIBRARY
Display: LIB-DISPLAY
Reading: LIB-READING
Editing: LIB-WRITING
Keywords: LIB-KEYS
Best modes: LIB-MODES
Bugs: LIB-BUGS

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage