Data.Logic.ATP.DefCNF
class
NumAtom
atom
defcnfs
defcnf1
defcnf2
defcnf3
Instance
data
Atom
Tests
testDefCNF