Dpfs.Simp
cnf
cnffast
pelimequiv
pelimimpl
pelimnot
pelimTF
pelimTFR
deleteAll
pelimflat
pelimflatr
porsublst
pandsublst
portop
pandtop
cnfRemoveTaut
cnfRemoveTaut'
cnfRemoveTaut''
numPropSubs
pVarNumber
pVarNumberList
pSelemsToList
pSelemsToList'
showVar