MS98 : MODULE

MS98 is a module.

It is loaded.
The mating search module MS98. This search procedure
implements component search with rewriting of equalities.

NEEDED-MODULES EXPANSION-TREE SKOLEMIZING

MACRO-FILES MS98-MACROS

FILES MS98-WEIGHTS MS98-TOP MS98-UNIF MS98-DAGIFY MS98-JFORM MS98-DUPS MS98-PATHS MS98-REWRITE MS98-REWRITE2 MS98-PATHS2

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage