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