ETREES-LABELS : GETGWFFTYPE

ETREES-LABELS is a wff reference format.
Labels used in expansion trees.

TPS documentation homepage


ETREES-LABELS : TPS-FILE

ETREES-LABELS is a file.
Defines flavors of expansion tree labels.
/home/theorem/tps/lisp/etrees-labels.lisp is part of module MATING.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage