ETREES-SKOLEM : TPS-FILE
ETREES-SKOLEM
is a file.
Contains code concerned with
skolem
terms
and
skolemizing
in
etrees
.
/home/theorem/tps/lisp/etrees-skolem.lisp is part of module
MATING
.
TPS documentation homepage