src/HOL/SAT.thy
2005-10-09 webertj 2005-10-09 Tactics sat and satx reimplemented, several improvements
2005-09-29 wenzelm 2005-09-29 explicit dependencies of SAT vs. Refute; removed unused methods;
2005-09-25 webertj 2005-09-25 sat_solver.ML not loaded anymore (already loaded by Refute.thy)
2005-09-24 webertj 2005-09-24 cnf_struct renamed to cnf
2005-09-24 obua 2005-09-24 preliminary fix of HOL build problem
2005-09-23 webertj 2005-09-23 new sat tactic imports resolution proofs from zChaff