CONTEXT : context

Top Levels

Style

Review

Flags

Modes

Reading help

Help

Collecting Help

Concept

Starting and Finishing

OTL Object

Printing

Printing

Internal for Printing

SAIL characters

Script Letters

Subscripts

Superscripts

Lowercase Greek

Uppercase Greek

Greek Subscripts

Bold Letters

TeX

X Windows

Other Symbols

Weak Labels

Flavors of Labels

Saving Work

Saving Wffs

Recording

Printing Proofs into Files

Proof Outline

Expansion Trees

Mtree Operations

Mtree Printing

Mtree Auto

Search Suggestions

Mating search

MS88 search procedure

MS89 search procedure

MS90-3 search procedure

MS90-9 search procedure

MS91-6 and MS91-7 search procedures

MS92-9 search procedure

MS93-1 search procedure

MS98-1 search procedure

Proof Translation

Unification

Dpairs

Tactics

suggestions

Searchlists

Library

Vpforms

Rearranging the Proof

Status

Miscellaneous Rules

Propositional Rules

Negation Rules

Quantifier Rules

Substitution Rules

Equality Rules

Definition Rules

Lambda Conversion Rules

Book Theorems

Theorems

First-Order Logic

Higher-Order Logic

Wff Editor

well-formed formula

wff Primitives

Wff Parsing

Equality between Wffs

Predicates on Wffs

Wff Types

Moving Commands

Changing Commands

Recursively Changing Commands

Embedding Commands

Rewriting commands

Substitution

Basic Abbreviations

Set Abbreviations

Lambda-Calculus

Negation movers

Primitive Substitutions

Miscellaneous

RuleP

Skolemizing

Quantifier Commands

Wellformedness

Compound

Propositional

Quantifiers

Equality

Definitions

Lambda

Auxiliary

Events

report package

File Utilities

Example of Report

Statistics

Grader

Getting Out and Help

Variables

The Grade-File

Manual Grades

Automatic Grades

The Class List

Making the Output Convenient

Generating Values

Displaying Information

Totaling

Maintenance

Sorting

Letter-Grades

Basics

Modules

Rule Commands

Rules Module

Lisp packages

Rules object

News

Core Images

Indirect Files

Batch Control

Documentation

Command declaration

Lisp Source

Miscellaneous

Unclassified

Library

Display

Reading

Editing

Keywords

Best modes

Bugs



© 2000, Carnegie Mellon University.

TPS documentation homepage

TPS homepage


CONTEXT : ARGTYPE

CONTEXT is an argument type.
A context.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage