WFF-OPS-ABB : MODULE

WFF-OPS-ABB is a module.

It is loaded.
Defines basic recursive functions for instantiating definitions.

NEEDED-MODULES WFF-PARSE

FILES WFFABB

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage