SKOLEMIZING : MODULE

SKOLEMIZING is a module.

It is loaded.
Define different ways of skolemizing.

NEEDED-MODULES WFF-EDITOR

MACRO-FILES WFF-SKOLEM-MAC

FILES WFF-SKOLEM

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage