UNIFICATION-INTERFACE : MODULE

UNIFICATION-INTERFACE is a module.

It is loaded.
Interface to higher-order unification module.

NEEDED-MODULES AUTO-BASIC UNIFICATION TEX-WFF

MACRO-FILES UNIF-MACROS

FILES UNIF-TOP UNIF-USER

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage