TACTICS : CONTEXT

TACTICS is a context.
Tactics and related functions.

TPS documentation homepage


TACTICS : MODULE

TACTICS is a module.

It is loaded.
Defines functions needed to use tactics and tacticals.

NEEDED-MODULES OTLNL OTLRULEP

MACRO-FILES TACTICS-MACROS TACTICALS-MACROS

FILES TACTICALS TACTICS-AUX

TPS documentation homepage


TACTICS : REVIEW-SUBJECT

TACTICS is a subject.
Flags concerning tactics.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage