FirstOrderTheory.Theory

class FirstOrderTheory t

data PredicateDecl

data FunctionDecl

nnfLit

nnfCon

nnfDis

predicateDecl

functionDecl