Kill math/logic2cnf?

[Edd Barrett]

Hi,

Can I kill math/logic2nf? Anyone using it?

-- 
Best Regards
Edd Barrett

http://www.theunixzoo.co.uk