Data.Logic.Harrison.DefCNF

data Atom a

class NumAtom atom

mkprop

maincnf

defstep

max_varindex

mk_defcnf

defcnf1

subcnf

orcnf

andcnf

defcnfs

defcnf2

andcnf3

defcnf3