src/HOL/Tools/cnf_funcs.ML
2005-10-09 webertj 2005-10-09 Tactics sat and satx reimplemented, several improvements
2005-09-23 webertj 2005-09-23 new sat tactic imports resolution proofs from zChaff