EXPANSION-TREE : MODULE

EXPANSION-TREE is a module.

It is loaded.
Defines expansion trees and associated wffops.

NEEDED-MODULES MATING

MACRO-FILES ETREES-DEF

FILES ETREES-WFFOPS ETREES-WFFOPS2 ETREES-PRINT ETREES-JFORMS ETREES-RENUMBER MTREE-DATASTRUCTURE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage