REPLACE : INFO

REPLACE is a flag setting or other piece of information.
A flag setting for PRIM-BDTYPES-AUTO.
The value of PRIM-BDTYPES will be changed to an
automatically-generated list of all the primitive types used in
the gwff to be proven.

TPS documentation homepage


REPLACE : MODULE

REPLACE is a module.

It is loaded.
Replacement of symbols by equivalent wffs.

NEEDED-MODULES WFF-EDITOR

FILES REPLACE

TPS documentation homepage


REPLACE : TPS-FILE

REPLACE is a file.
Functions for replacing one symbol or wff with another.
/home/theorem/tps/bin/replace.fasl is part of module REPLACE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage