Folly.Formula
data Term
data Formula
fvt
subTerm
isVar
isConst
isFunc
funcName
funcArgs
appendVarName
var
func
constant
te
fa
pr
con
dis
neg
imp
bic
t
f
vars
freeVars
isAtom
stripNegations
generalize
subFormula
applyToTerms
literalArgs
toPNF
toSkolemForm
skf
toClausalForm
matchingLiterals