Data.Logic.Harrison.Skolem

simplify

lsimplify

nnf

pnf

functions

type SkolemT v term m

type Skolem v term

runSkolem

runSkolemT

specialize

skolemize

askolemize

skolemNormalForm

skolem